We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
Removing link to subst++ whose features are now part of the regular `subst`.
Rename link InductionWithSelfDefinedCases
Updated OtherContents (markdown)
Remove pages links in the FAQ or dead.
Remove dead link.
Dead or already elsewhere.
More links coming from the OldFront page.
Removing more dead links.
Moving two links from old Cocorico!FrontPage
Remove dead links.
fix wiki links (no more ../)
conversion from rst to markdown via pandoc
Converted to reStructuredText via moin2rst
No commit message
migrated some items from front to others