diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2017-12-15 17:46:15 +0100 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2017-12-15 17:46:15 +0100 |
| commit | 5ae35a94dd3ec72d9ac91ba3b34674dd79a78263 (patch) | |
| tree | 7086967ec2a00ac68e2af84731af3b7c026709ab /CHANGES | |
| parent | b270ad686075e5579dc3826fafdc324ea339785c (diff) | |
| parent | 85ddf223e4cc8035f45647f9ecf00b204fe60b15 (diff) | |
Merge PR #6429: 8.7.1 CHANGES.
Diffstat (limited to 'CHANGES')
| -rw-r--r-- | CHANGES | 8 |
1 files changed, 8 insertions, 0 deletions
@@ -52,6 +52,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 =============================== |