diff options
Diffstat (limited to 'CHANGES')
| -rw-r--r-- | CHANGES | 8 |
1 files changed, 8 insertions, 0 deletions
@@ -10,6 +10,10 @@ Vernacular commands introducing it. - New command "Show id" to show goal named id. +Specification language + +- Syntax "$(tactic)$" changed to "ltac: tactic". + Tactics - New flag "Regular Subst Tactic" which fixes "subst" in situations where @@ -83,6 +87,10 @@ Logic - The VM now supports inductive types with up to 8388851 non-constant constructors and up to 8388607 constant ones. +Specification language + +- Syntax "$(tactic)$" changed to "ltac: tactic". + Tactics - A script using the admit tactic can no longer be concluded by either |