aboutsummaryrefslogtreecommitdiffhomepage
path: root/contrib/xml/xmlcommand.mli
Commit message (Expand)AuthorAge
* Nouvelle en-têteGravatar herbelin2004-07-16
* Licence changed from GPL to Lesser GPL.Gravatar sacerdot2004-06-26
* Copyright notice of files in contrib/xml made uniform.Gravatar sacerdot2004-04-07
* En mode batch, recuperation via Declare de l'information si un inductive est ...Gravatar herbelin2004-03-31
* Distinction entre declarations internes (p.ex. _subproof) et declarations uti...Gravatar herbelin2004-03-30
* Ajout exportation des 'theory.xml' + diversGravatar herbelin2004-03-26
* ProofTree2Xml is no longer directly used by Xmlcommand.Gravatar sacerdot2004-03-25
* NettoyageGravatar herbelin2004-03-24
* Réforme de l'interprétation des termes :Gravatar herbelin2002-11-14
* Intégration de la branche mowgliGravatar herbelin2002-11-05
* Modules dans COQ\!\!\!\!Gravatar coq2002-08-02
* Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...Gravatar herbelin2002-05-29
* Report des modifs de ClaudioGravatar herbelin2001-09-20
* entetesGravatar filliatr2001-03-15
* Déplacement de qualid dans Nametab, hors du noyauGravatar herbelin2001-03-01
* syntaxe AST Inversion + commentaires ocamlweb autour de $Gravatar filliatr2000-12-12
* COPYRIGHT file added; some comments changedGravatar sacerdot2000-12-07
* Many improvements. Xml contrib retached to the V7.Gravatar sacerdot2000-11-27
* URI problem addressed, but not resolved yetGravatar sacerdot2000-11-03
* xml contribution created.Gravatar sacerdot2000-10-25
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-04 00:55:43 +0000