aboutsummaryrefslogtreecommitdiffhomepage
path: root/tactics/Inv.v
Commit message (Collapse)AuthorAge
* syntaxe AST Inversion + commentaires ocamlweb autour de $Gravatar filliatr2000-12-12
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1090 85f007b7-540e-0410-9357-904b9bb8a0f7
* Changement/extension dans les noms de parseurs de GrammarGravatar herbelin2000-11-07
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@814 85f007b7-540e-0410-9357-904b9bb8a0f7
* Changement parser par défaut dans SyntaxGravatar herbelin2000-10-18
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@722 85f007b7-540e-0410-9357-904b9bb8a0f7
* Plus de piquants dans les actions des grammaires; nom de la grammaire pris ↵Gravatar herbelin2000-07-28
| | | | | | comme parseur par defaut; le type List devient AstList git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@575 85f007b7-540e-0410-9357-904b9bb8a0f7
* Intégration de leminvGravatar herbelin2000-05-05
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@422 85f007b7-540e-0410-9357-904b9bb8a0f7
* Inversion (pas termine)Gravatar filliatr2000-03-27
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@355 85f007b7-540e-0410-9357-904b9bb8a0f7
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-02 08:21:23 +0000