aboutsummaryrefslogtreecommitdiffhomepage
path: root/toplevel/usage.ml
Commit message (Expand)AuthorAge
* CoqIDE argv parsing delegated to coqtopGravatar vgross2010-09-14
* Fix unescaped end-of-lines (OCaml warning 29)Gravatar glondu2010-09-13
* * By default, load proof terms.Gravatar regisgia2010-08-31
* * scripts/Coqc toplevel/Usage:Gravatar regisgia2010-08-27
* Updated all headers for 8.3 and trunkGravatar herbelin2010-07-24
* Remove the svn-specific $Id$ annotationsGravatar letouzey2010-04-29
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* Improved parameterization of Coq:Gravatar herbelin2009-08-02
* Correct typo: -noglob takes no argument.Gravatar msozeau2009-06-13
* Fix de divers petits problèmes d'installationGravatar notin2009-02-11
* Report des revisions #11826, #11828 et #11829 de v8.2 vers trunkGravatar notin2009-02-11
* Conversion du fichier 'revision' en un fichier .ml + correction d'un bug dans...Gravatar notin2009-01-06
* - Suppression date dans configure du trunkGravatar herbelin2008-12-26
* Nettoyage des variables Coq et amélioration de coqmktop. LesGravatar notin2008-12-19
* Tentative d'amélioration de la robustesse des Makefile générés parGravatar notin2008-11-13
* Rétablissement de l'option -dump-glob de coq top et de l'option -glob-from d...Gravatar notin2008-07-18
* Lissage de la gestion des chemins de chargement de fichiers :Gravatar herbelin2008-06-29
* Suppression de l'option -dump-glob et ajout d'une option -no-globGravatar notin2008-06-24
* Ajout d'une option -with-geoproof à la configuration et à l'exécutionGravatar notin2006-06-09
* MAJ options coqtop et coqcGravatar herbelin2004-09-03
* Nouvelle en-têteGravatar herbelin2004-07-16
* Ajout nouvelles optionsGravatar herbelin2004-01-15
* Intégration des modifs de la branche mowgli :Gravatar herbelin2002-11-05
* backtrack dans l'algo d'unificationGravatar barras2002-04-10
* raccourci -l en plus de -load-vernac-sourceGravatar letouzey2002-03-07
* -dump-glob dans le usageGravatar filliatr2002-02-27
* Ajout d'une option et d'une fonction compile pour fabriquer les .voGravatar herbelin2001-09-18
* *** empty log message ***Gravatar courant2001-04-19
* bug Print Proof; usage coqtop/coqcGravatar filliatr2001-04-06
* option -verbose a coqc; option -i suppriméeGravatar filliatr2001-03-21
* entetesGravatar filliatr2001-03-15
* Suppresion de l'option -as, c'est maintenant -R qui devient l'option standard...Gravatar herbelin2000-12-06
* - coqc: utilise le meilleur coq possibleGravatar filliatr2000-11-24
* retablissement de line_oriented_parser pour YvesGravatar filliatr2000-11-22
* modulesGravatar filliatr1999-12-12
* modules profile, Coqinit et Coqtop (=main)Gravatar filliatr1999-12-03