aboutsummaryrefslogtreecommitdiff
path: root/scripts/coqc.ml
AgeCommit message (Expand)Author
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
2002-02-14option -dump-glob pour coqdocfilliatr
2001-09-26Protection contre erreurs Unixherbelin
2001-09-18Ajout d'une option et d'une fonction compile pour fabriquer les .voherbelin
2001-09-17quotation des noms de fichiers pour eviter une mauvaise interpretation des \barras
2001-09-09Amélioration check_module_nameherbelin
2001-04-19*** empty log message ***courant
2001-03-21option -verbose a coqc; option -i suppriméefilliatr
2001-03-15entetesfilliatr
2001-02-09option -m (utilisation memoire)filliatr
2001-02-01- coqc : option -imagefilliatr
2000-12-06Suppresion de l'option -as, c'est maintenant -R qui devient l'option standard...herbelin
2000-11-30Changement de la syntaxe des options -I et -Rherbelin
2000-11-24- coqc: utilise le meilleur coq possiblefilliatr
2000-11-03Deplacement d'options avec ou sans argtsmohring
2000-11-03compilation des fichiers ml4 sans GNUseriesfilliatr
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-02 03:32:17 +0000