aboutsummaryrefslogtreecommitdiffhomepage
path: root/toplevel/usage.ml
Commit message (Expand)AuthorAge
* Ensure that a function declared with a label is used with itGravatar letouzey2012-12-08
* coqtop -time : display per-command timingsGravatar letouzey2012-10-05
* No more states/initial.coq, instead coqtop now requires Prelude.voGravatar letouzey2012-08-23
* Updating headers.Gravatar herbelin2012-08-08
* verbose compat notations : nicer option nameGravatar letouzey2012-07-08
* Notation: a new annotation "compat 8.x" extending "only parsing"Gravatar letouzey2012-07-05
* Partialy revert "coq_makefile fixup" because old Makefiles still need CAMLP4BINGravatar pboutill2012-06-15
* coq_makefile fixupGravatar pboutill2012-06-14
* New step in purpose to get both camlp4 and camlp5 compatible coq_makefilesGravatar pboutill2012-06-12
* lib directory is cut in 2 cma.Gravatar pboutill2012-04-12
* -user option removalGravatar pboutill2011-11-21
* In Coq_config: get rid of coqsrc and make coqlib optionalGravatar glondu2011-09-27
* coqtop -config returns coq returns coq environments at exection timeGravatar pboutill2011-04-28
* Lazy loading of opaque proofs: fast as -dont-load-proofs without its drawbacksGravatar letouzey2011-04-03
* Ide_slave: a more robust current_status () functionGravatar letouzey2011-03-28
* 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