diff options
Diffstat (limited to 'CHANGES')
| -rw-r--r-- | CHANGES | 7 |
1 files changed, 7 insertions, 0 deletions
@@ -1,9 +1,16 @@ Changes from V8.1gamma to ... ============================= +Commands + - Added option Global to "Implicit Arguments" and "Arguments Scope" for section surviving. +Notations + +- Level "constr" moved from 9 to 5. User notations from levels 6 to 9 + may have to be put at levels below 5 to be used without parentheses. + Tactic Language - Second-order pattern-matching now working in Ltac "match" clauses |