index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
contrib
/
xml
/
xmlcommand.mli
Commit message (
Expand
)
Author
Age
*
Licence changed from GPL to Lesser GPL.
sacerdot
2004-06-26
*
Copyright notice of files in contrib/xml made uniform.
sacerdot
2004-04-07
*
En mode batch, recuperation via Declare de l'information si un inductive est ...
herbelin
2004-03-31
*
Distinction entre declarations internes (p.ex. _subproof) et declarations uti...
herbelin
2004-03-30
*
Ajout exportation des 'theory.xml' + divers
herbelin
2004-03-26
*
ProofTree2Xml is no longer directly used by Xmlcommand.
sacerdot
2004-03-25
*
Nettoyage
herbelin
2004-03-24
*
Réforme de l'interprétation des termes :
herbelin
2002-11-14
*
Intégration de la branche mowgli
herbelin
2002-11-05
*
Modules dans COQ\!\!\!\!
coq
2002-08-02
*
Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...
herbelin
2002-05-29
*
Report des modifs de Claudio
herbelin
2001-09-20
*
entetes
filliatr
2001-03-15
*
Déplacement de qualid dans Nametab, hors du noyau
herbelin
2001-03-01
*
syntaxe AST Inversion + commentaires ocamlweb autour de $
filliatr
2000-12-12
*
COPYRIGHT file added; some comments changed
sacerdot
2000-12-07
*
Many improvements. Xml contrib retached to the V7.
sacerdot
2000-11-27
*
URI problem addressed, but not resolved yet
sacerdot
2000-11-03
*
xml contribution created.
sacerdot
2000-10-25