diff options
Diffstat (limited to 'dev/doc')
| -rw-r--r-- | dev/doc/changes.txt | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/dev/doc/changes.txt b/dev/doc/changes.txt index 784283358a..1321b49785 100644 --- a/dev/doc/changes.txt +++ b/dev/doc/changes.txt @@ -17,6 +17,11 @@ generally fewer than the defined ones. = CHANGES BETWEEN COQ V8.2 AND COQ V8.3 = ========================================= +** Light cleaning in evarutil.ml ** + +whd_castappevar is now whd_head_evar +obsolete whd_ise disappears + ** Semantical change of h_induction_destruct ** Warning, the order of the isrec and evar_flag was inconsistent and has |