aboutsummaryrefslogtreecommitdiff
path: root/contrib/xml/xmlcommand.mli
AgeCommit message (Expand)Author
2009-03-20Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...letouzey
2004-07-16Nouvelle en-têteherbelin
2004-06-26Licence changed from GPL to Lesser GPL.sacerdot
2004-04-07Copyright notice of files in contrib/xml made uniform.sacerdot
2004-03-31En mode batch, recuperation via Declare de l'information si un inductive est ...herbelin
2004-03-30Distinction entre declarations internes (p.ex. _subproof) et declarations uti...herbelin
2004-03-26Ajout exportation des 'theory.xml' + diversherbelin
2004-03-25ProofTree2Xml is no longer directly used by Xmlcommand.sacerdot
2004-03-24Nettoyageherbelin
2002-11-14Réforme de l'interprétation des termes :herbelin
2002-11-05Intégration de la branche mowgliherbelin
2002-08-02Modules dans COQ\!\!\!\!coq
2002-05-29Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...herbelin
2001-09-20Report des modifs de Claudioherbelin
2001-03-15entetesfilliatr
2001-03-01Déplacement de qualid dans Nametab, hors du noyauherbelin
2000-12-12syntaxe AST Inversion + commentaires ocamlweb autour de $filliatr
2000-12-07COPYRIGHT file added; some comments changedsacerdot
2000-11-27Many improvements. Xml contrib retached to the V7.sacerdot
2000-11-03URI problem addressed, but not resolved yetsacerdot
2000-10-25xml contribution created.sacerdot
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 21:56:41 +0000