aboutsummaryrefslogtreecommitdiffhomepage
path: root/scripts/coqc.ml
Commit message (Expand)AuthorAge
* lib directory is cut in 2 cma.Gravatar pboutill2012-04-12
* Noise for nothingGravatar pboutill2012-03-02
* Coqtop and coqc: cleaning description of options in RefMan and manpages.Gravatar pboutill2012-01-21
* -user option removalGravatar pboutill2011-11-21
* In Coq_config: get rid of coqsrc and make coqlib optionalGravatar glondu2011-09-27
* coqc: Recognize option -force-load-proofs.Gravatar letouzey2011-09-15
* Coqc: fix the exit codeGravatar letouzey2011-04-15
* Remove the "Boxed" syntaxes and the const_entry_boxed fieldGravatar letouzey2011-01-28
* CoqIDE argv parsing delegated to coqtopGravatar vgross2010-09-14
* * 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
* Fixing part 1 of bug #2242 (-I -as and -R -as were supported forGravatar herbelin2010-04-09
* Coqc: on win32, let's call coqtop.exe by default, not coqtop.opt.exeGravatar letouzey2010-02-26
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* Improved parameterization of Coq:Gravatar herbelin2009-08-02
* - Suppression date dans configure du trunkGravatar herbelin2008-12-26
* Nettoyage des variables Coq et amélioration de coqmktop. LesGravatar notin2008-12-19
* - configure: do not strip coqtop on Darwin so as to support dynamic loadingGravatar herbelin2008-12-12
* Fixed bug in VernacExtend printing + missing vernacular printing rules +Gravatar herbelin2008-11-22
* Tentative d'amélioration de la robustesse des Makefile générés parGravatar notin2008-11-13
* Suppression d'un warning inutileGravatar notin2008-09-09
* coqc: warning de l'option -dump-glob (unused case)Gravatar barras2008-08-07
* Rétablissement de l'option -dump-glob de coq top et de l'option -glob-from d...Gravatar notin2008-07-18
* Suppression de l'option -dump-glob et ajout d'une option -no-globGravatar notin2008-06-24
* Uniformisation de l'option -where de coqc avec celle de coqtopGravatar notin2007-10-18
* Remplacement -no-vm par -vmGravatar herbelin2005-12-28
* compatibility with POWERPCGravatar gregoire2004-11-22
* Added option -no-vm.Gravatar sacerdot2004-10-25
* COMMITED BYTECODE COMPILERGravatar barras2004-10-20
* Correction commit precedentGravatar herbelin2004-09-04
* MAJ options coqtop et coqcGravatar herbelin2004-09-03
* Nouvelle en-têteGravatar herbelin2004-07-16
* coqc: create_process sous WindowsGravatar coq2004-03-18
* option -l de coqc non reconnue (coq-bugs #509)Gravatar barras2004-03-09
* option -strict-implicit pas reconnueGravatar barras2003-12-30
* Ajout option -impredicative-setGravatar herbelin2003-11-08
* Renommage no-strict en -strict-implicit; option -dont-load-proofsGravatar herbelin2003-10-08
* Fusion -translate et -ftranslateGravatar herbelin2003-08-14
* Option -v8 à coqtop lance coqtopnew; option -no-strict; option -no-proofsGravatar herbelin2003-08-11
* Ajout du traducteurGravatar desmettr2003-02-05
* Ajout options -v7 et -v8, et commandes V7only et V8onlyGravatar herbelin2002-12-10
* Intégration des modifs de la branche mowgli :Gravatar herbelin2002-11-05
* option -dump-glob pour coqdocGravatar filliatr2002-02-14
* Protection contre erreurs UnixGravatar herbelin2001-09-26
* Ajout d'une option et d'une fonction compile pour fabriquer les .voGravatar herbelin2001-09-18
* quotation des noms de fichiers pour eviter une mauvaise interpretation des \Gravatar barras2001-09-17
* Amélioration check_module_nameGravatar herbelin2001-09-09
* *** empty log message ***Gravatar courant2001-04-19
* option -verbose a coqc; option -i suppriméeGravatar filliatr2001-03-21