diff options
| author |  Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2017-12-14 17:17:41 +0100 |
|---|---|---|
| committer | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2017-12-14 17:17:41 +0100 |
| commit | 85ddf223e4cc8035f45647f9ecf00b204fe60b15 (patch) | |
| tree | 29db0b68379497ed9f2455da9a814b38245016a2 /CHANGES | |
| parent | 290abf59e6f13bb1468d8e3df050cf0bd9c48708 (diff) | |
8.7.1 CHANGES.
Diffstat (limited to 'CHANGES')
| -rw-r--r-- | CHANGES | 8 |
1 files changed, 8 insertions, 0 deletions
@@ -42,6 +42,14 @@ Checker - The checker now accepts filenames in addition to logical paths. +Changes from 8.7.0 to 8.7.1 +=========================== + +Compatibility with OCaml 4.06.0. + +Many bug fixes, documentation improvements, and user message improvements (for +details see the 8.7.1 milestone at https://github.com/coq/coq/milestone/10?closed=1). + Changes from 8.7+beta2 to 8.7.0 =============================== |