diff options
author | 2005-05-17 12:43:22 +0000 | |
---|---|---|
committer | 2005-05-17 12:43:22 +0000 | |
commit | ddc83ed89cd6671cfa6b5bf2d0ce1fb74ad206c1 (patch) | |
tree | e909215081d80bd77413cf51ceff915fe22d8af2 /CHANGES | |
parent | b748569d82f5d8e886ac9f928c7fa1af5d422ce7 (diff) |
Extension de Tactic Notation pour permettre d'tendre et de faire rffrence aux niveaux syntaxiques des tacticielles
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7029 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'CHANGES')
-rw-r--r-- | CHANGES | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -30,7 +30,7 @@ Tactics - Omega now handles arbitrary precision integers - Idtac can now be left implicit in a [...|...] construct: for instance, [ foo | | bar ] stands for [ foo | idtac | bar ]. (doc TODO). - +- "Tactic Notation" extended to allow notations of tacticals (doc TODO). Modules |