diff options
Diffstat (limited to 'dev')
| -rw-r--r-- | dev/doc/changes.txt | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/dev/doc/changes.txt b/dev/doc/changes.txt index 8a2b13ebee..d4e42142bb 100644 --- a/dev/doc/changes.txt +++ b/dev/doc/changes.txt @@ -75,7 +75,8 @@ check_evars_are_solved explicitly to check that evars are solved. See also the corresponding commit log. -- Tactics API: new_induct -> induction; new_destruct -> destruct +- Tactics API: new_induct -> induction; new_destruct -> destruct; + letin_pat_tac do not accept a type anymore ========================================= = CHANGES BETWEEN COQ V8.3 AND COQ V8.4 = |