| Age | Commit message (Collapse) | Author |
|---|
|
I reused the sentence from the version 8.7 credits.
It wasn't initially decided like this but it looks like
I'm the de facto maintainer for this release as well.
|
|
|
|
I knew this feature existed but I did not remember the syntax and I could not find it in the manual
|
|
|
|
|
|
|
|
|
|
|
|
|
|
It was used in some examples, but never fully documented
|
|
|
|
|
|
We put it in a footnote otherwise the sentence was starting to be really long.
Footnotes need to be in index.rst to really appear at the bottom of the index page.
|
|
|
|
|
|
|
|
It was broken and undocumented. We dropped the git logs, too, so it wasn't clear
who wrote it and why it was introduced in the first place.
|
|
|
|
|
|
|
|
The test isn't quite the one in #7421 because that use of algebraic
universes is wrong.
|
|
We split a Require Import in two to avoid reaching the timeout.
|
|
|
|
|
|
Move credits to its own chapter (closes #6573).
|
|
|
|
|
|
|
|
|
|
|
|
Fix #5012.
|
|
Closes GH-7742.
|
|
|
|
|
|
Many still remain.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
