aboutsummaryrefslogtreecommitdiff
path: root/scripts/coqc.ml
AgeCommit message (Expand)Author
2013-04-18coqc and coqmktop migrated in tools/, get rid of scripts/ subdirletouzey
2013-04-18Coqc: accept -exclude-dir + some others + cleanup (fix #3025)letouzey
2013-01-24Fixed parsing of -no-native-compiler flag.mdenes
2012-10-05coqtop -time : display per-command timingsletouzey
2012-08-23No more states/initial.coq, instead coqtop now requires Prelude.voletouzey
2012-08-23No more coqtop.opt, produce directly a coqtop binaryletouzey
2012-08-08Updating headers.herbelin
2012-04-12lib directory is cut in 2 cma.pboutill
2012-03-02Noise for nothingpboutill
2012-01-21Coqtop and coqc: cleaning description of options in RefMan and manpages.pboutill
2011-11-21-user option removalpboutill
2011-09-27In Coq_config: get rid of coqsrc and make coqlib optionalglondu
2011-09-15coqc: Recognize option -force-load-proofs.letouzey
2011-04-15Coqc: fix the exit codeletouzey
2011-01-28Remove the "Boxed" syntaxes and the const_entry_boxed fieldletouzey
2010-09-14CoqIDE argv parsing delegated to coqtopvgross
2010-08-27* scripts/Coqc toplevel/Usage:regisgia
2010-07-24Updated all headers for 8.3 and trunkherbelin
2010-04-29Remove the svn-specific $Id$ annotationsletouzey
2010-04-09Fixing part 1 of bug #2242 (-I -as and -R -as were supported forherbelin
2010-02-26Coqc: on win32, let's call coqtop.exe by default, not coqtop.opt.exeletouzey
2009-09-17Delete trailing whitespaces in all *.{v,ml*} filesglondu
2009-08-02Improved parameterization of Coq:herbelin
2008-12-26- Suppression date dans configure du trunkherbelin
2008-12-19Nettoyage des variables Coq et amélioration de coqmktop. Lesnotin
2008-12-12- configure: do not strip coqtop on Darwin so as to support dynamic loadingherbelin
2008-11-22Fixed bug in VernacExtend printing + missing vernacular printing rules +herbelin
2008-11-13Tentative d'amélioration de la robustesse des Makefile générés parnotin
2008-09-09Suppression d'un warning inutilenotin
2008-08-07coqc: warning de l'option -dump-glob (unused case)barras
2008-07-18Rétablissement de l'option -dump-glob de coq top et de l'option -glob-from d...notin
2008-06-24Suppression de l'option -dump-glob et ajout d'une option -no-globnotin
2007-10-18Uniformisation de l'option -where de coqc avec celle de coqtopnotin
2005-12-28Remplacement -no-vm par -vmherbelin
2004-11-22compatibility with POWERPCgregoire
2004-10-25Added option -no-vm.sacerdot
2004-10-20COMMITED BYTECODE COMPILERbarras
2004-09-04Correction commit precedentherbelin
2004-09-03MAJ options coqtop et coqcherbelin
2004-07-16Nouvelle en-têteherbelin
2004-03-18coqc: create_process sous Windowscoq
2004-03-09option -l de coqc non reconnue (coq-bugs #509)barras
2003-12-30option -strict-implicit pas reconnuebarras
2003-11-08Ajout option -impredicative-setherbelin
2003-10-08Renommage no-strict en -strict-implicit; option -dont-load-proofsherbelin
2003-08-14Fusion -translate et -ftranslateherbelin
2003-08-11Option -v8 à coqtop lance coqtopnew; option -no-strict; option -no-proofsherbelin
2003-02-05Ajout du traducteurdesmettr
2002-12-10Ajout options -v7 et -v8, et commandes V7only et V8onlyherbelin
2002-11-05Intégration des modifs de la branche mowgli :herbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 06:38:46 +0000