diff options
Diffstat (limited to 'dev')
| -rw-r--r-- | dev/db | 2 | ||||
| -rw-r--r-- | dev/doc/changes.txt | 5 |
2 files changed, 5 insertions, 2 deletions
@@ -6,8 +6,6 @@ install_printer Top_printers.ppidset install_printer Top_printers.ppevarsubst install_printer Top_printers.ppintset install_printer Top_printers.pplab -install_printer Top_printers.ppmsid -install_printer Top_printers.ppmbid install_printer Top_printers.ppdir install_printer Top_printers.ppmp install_printer Top_printers.ppkn 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 |