Skip to content
GitLab
Projects
Groups
Topics
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Register
Sign in
Toggle navigation
Menu
Iris
stdpp
Merge requests
!14
Minor documentation fixes
Code
Review changes
Check out branch
Download
Patches
Plain diff
Merged
Ghost User
requested to merge
archived_projects/coq-stdpp:docfixes
into
master
Oct 31, 2017
Overview
1
Commits
1
Pipelines
0
Changes
1
Corrected typeclass names in some of the documentation.