index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
doc
/
changelog
/
12-misc
Age
Commit message (
Expand
)
Author
2021-04-22
Add changelog
Pierre Roux
2021-03-04
Properly support nested timeouts
Lasse Blaauwbroek
2020-12-03
[changelog] update markup
Enrico Tassi
2020-12-03
Changes for Coq 8.13
Matthieu Sozeau
2020-11-26
[attributes] [doc] Documentation review by Théo.
Emilio Jesus Gallego Arias
2020-11-26
[vernac] Allow to control typing flags with attributes.
Emilio Jesus Gallego Arias
2020-11-26
[declare] Allow custom typing flags when declaring constants.
Emilio Jesus Gallego Arias
2020-11-24
Add a changelog.
Pierre-Marie Pédrot
2020-05-27
Release notes for 8.12.
Théo Zimmermann
2020-05-14
[exn] [tactics] improve backtraces on monadic errors
Emilio Jesus Gallego Arias
2020-04-03
Adding changelog for 8.11.1.
Pierre-Marie Pédrot
2020-03-08
Minor improvements to the unreleased changelog.
Théo Zimmermann
2020-02-20
Adding changelog.
Hugo Herbelin
2020-01-08
Add changelog entry for native string extraction
Maxime Dénès
2019-06-16
Changelog for 8.10+beta2.
Théo Zimmermann
2019-06-03
Update doc to reflect that PG now supports Coq-generated proof diffs
Jim Fehrle
2019-05-13
Move last changelog entries for 8.10+beta1.
Théo Zimmermann
2019-05-08
Update release process documentation and changelog entry.
Théo Zimmermann
2019-05-05
Add changelog entry about moving changelog to refman.
Théo Zimmermann
2019-05-05
Create categories in changelog.
Théo Zimmermann
