diff options
| author | Théo Zimmermann | 2019-04-18 15:10:06 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2019-04-30 16:09:55 +0200 |
| commit | bb4b9469ddf45d76385cdcddf27dc82266a8c73b (patch) | |
| tree | 004ecb488bbf64dae38492e0d495c051d6080c05 /README.md | |
| parent | 61c780ad8138bfa768977d652c25741dad35d448 (diff) | |
Remove 8.10 entries from CHANGES file.
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 9 |
1 files changed, 6 insertions, 3 deletions
@@ -69,9 +69,12 @@ for additional user-contributed documentation. ## Changes -There is a file named [`CHANGES.md`](CHANGES.md) that explains the differences and the -incompatibilities since last versions. If you upgrade Coq, please read -it carefully. +The [Recent +changes](https://coq.github.io/doc/master/refman/changes.html) chapter +of the reference manual explains the differences and the +incompatibilities of each new version of Coq. If you upgrade Coq, +please read it carefully as it contains important advice on how to +approach some problems you may encounter. ## Questions and discussion |