aboutsummaryrefslogtreecommitdiffhomepage
path: root/config/coq_config.mli
Commit message (Expand)AuthorAge
* * Adding compability with ocaml 3.10 + camlp5 (rework of Gravatar letouzey2007-09-15
* Suite ajout option -ocamlib à configureGravatar notin2006-09-01
* Ajout d'une option -with-geoproof à la configuration et à l'exécutionGravatar notin2006-06-09
* Nouvelle en-têteGravatar herbelin2004-07-16
* *** empty log message ***Gravatar courant2001-04-19
* entetesGravatar filliatr2001-03-15
* syntaxe AST Inversion + commentaires ocamlweb autour de $Gravatar filliatr2000-12-12
* - coqc: utilise le meilleur coq possibleGravatar filliatr2000-11-24
* nouveau load pathGravatar filliatr2000-11-08
* mise en place des outilsGravatar filliatr1999-12-11
* - erreurs PretypeGravatar filliatr1999-12-10
* mise en place programmation literaire (generation de doc/coq.tex)Gravatar filliatr1999-08-19
* Initial revisionGravatar filliatr1999-08-16