We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Updated How to give credits (markdown)
ottr naming
Update ottr -> ottrpal
Update ToC
Add Table of contents everywhere
replace leanbuild -> ottr
Update borrowing chapters wiki
Search and replace all name changes
Make H1 headers for each
Revert "Try setting silent headers " This reverts commit d2e108d5dd9b1f1e08fd431d49cb4438c0cb96a5.
Try setting silent headers
Prepping titles
Update links to make them more readable
Created How to give credits (markdown)