aboutsummaryrefslogtreecommitdiffhomepage
path: root/interp/coqlib.mli
Commit message (Expand)AuthorAge
* Addition of a "Combined Scheme" vernacular command for building the conjuncti...Gravatar msozeau2006-12-23
* - Documentation of the Program tactics.Gravatar msozeau2006-04-07
* Ajout nat_path et find_referenceGravatar herbelin2006-02-04
* exporting the global reference to the inductive " \/ " in coqlib andGravatar bertot2006-01-25
* Ajout booléens; nettoyageGravatar herbelin2005-12-30
* Suppression des parseurs et printeurs v7; suppression du traducteur (mécanis...Gravatar herbelin2005-12-26
* Nettoyage et documentation de LibraryGravatar herbelin2005-02-06
* Compatibilité ocamlweb pour cible docGravatar herbelin2005-01-21
* Nouvelle en-têteGravatar herbelin2004-07-16
* Controle par le prefixe et plus par le nom absolu pour la recherche d'objets ...Gravatar herbelin2003-11-01
* Un peu plus de souplesse dans la globalisation des noms utilises par les tact...Gravatar herbelin2003-09-26
* Restructuration des procédures de filtrageGravatar herbelin2003-05-19
* factorisation des "constant" dans les contrib/* ( maintenant dans coqlib )Gravatar corbinea2003-03-31
* Réforme de l'interprétation des termes :Gravatar herbelin2002-11-14