index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
doc
/
changelog
/
11-infrastructure-and-dependencies
Age
Commit message (
Expand
)
Author
2020-05-27
Add more changelog entries which have been backported to v8.12.
Théo Zimmermann
2020-05-27
Release notes for 8.12.
Théo Zimmermann
2020-05-21
Fix an uncaught python exception in timing
Jason Gross
2020-05-18
Bump minimal versions of refman dependencies.
Théo Zimmermann
2020-04-03
Adding changelog for 8.11.1.
Pierre-Marie Pédrot
2020-03-29
[ci] [gitlab] Bump to edge to OCaml 4.10, add test-suite for OCaml 4.11
Emilio Jesus Gallego Arias
2020-03-18
[ci] [docker] Update to 4.09.1
Emilio Jesus Gallego Arias
2020-03-08
Minor improvements to the unreleased changelog.
Théo Zimmermann
2020-03-03
[loadpath] Rework and simplify ML loadpath handling
Emilio Jesus Gallego Arias
2020-01-22
Changelog for 8.11.0.
Théo Zimmermann
2020-01-03
[tools] Remove support for python2
Emilio Jesus Gallego Arias
2019-12-02
Allow to override build date with SOURCE_DATE_EPOCH
Bernhard M. Wiedemann
2019-12-02
Move unreleased changelog to new 8.11 section.
Théo Zimmermann
2019-11-28
[changelog] Add types to changelog entries.
Théo Zimmermann
2019-07-08
[core] [api] Support OCaml 4.08
Emilio Jesus Gallego Arias
2019-05-05
Create categories in changelog.
Théo Zimmermann
