diff options
Diffstat (limited to 'CHANGES')
| -rw-r--r-- | CHANGES | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -81,6 +81,7 @@ Tactics - Better support for coercions to Sortclass in tactics expecting type arguments - Low-priority term printer made available in ML-written tactic extensions - Tactic "assert" now accepts "as" intro patterns and "by" tactic clauses +- Tactic "replace" now accepts a "by" tactic clause - New tactic "pose proof" that generalizes "assert (id:=p)" with intro patterns - New introduction pattern "?" for letting Coq choose a name - Added "eassumption" |