diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2018-04-16 21:41:37 +0200 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2018-04-16 22:40:35 +0200 |
| commit | f0863099fe7b9d29b887edcb6aea12291c56a1dc (patch) | |
| tree | 66b82429f51bbcb3121d4442a35bc614bcc8cdc5 /CHANGES | |
| parent | 3e7863e9369d38537685576a8642dbe0c062d0c5 (diff) | |
Mention other deprecations and fixes in CHANGES
Diffstat (limited to 'CHANGES')
| -rw-r--r-- | CHANGES | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -35,6 +35,12 @@ Tactic language deprecated; please use `fix/cofix ident N` to explicitely name hypothesis to be introduced. +Documentation + +- The reference manual is now fully ported to Sphinx. + +Other small deprecations and bug fixes. + Changes from 8.7.2 to 8.8+beta1 =============================== |