diff options
Diffstat (limited to 'CHANGES')
-rw-r--r-- | CHANGES | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -63,7 +63,7 @@ ML tactic and vernacular commands now declared at ML level using camlp4 macros TACTIC EXTEND et VERNAC COMMAND EXTEND. - "Check n c" now "n:Check c", "Eval n ..." now "n:Eval ..." - +- "Proof with T" (* no documentation *) Tactic definitions - static globalisation of identifiers and global references (source of |