aboutsummaryrefslogtreecommitdiffhomepage
path: root/scripts/coqc.ml
Commit message (Expand)AuthorAge
* 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
* entetesGravatar filliatr2001-03-15
* option -m (utilisation memoire)Gravatar filliatr2001-02-09
* - coqc : option -imageGravatar filliatr2001-02-01
* Suppresion de l'option -as, c'est maintenant -R qui devient l'option standard...Gravatar herbelin2000-12-06
* Changement de la syntaxe des options -I et -RGravatar herbelin2000-11-30
* - coqc: utilise le meilleur coq possibleGravatar filliatr2000-11-24
* Deplacement d'options avec ou sans argtsGravatar mohring2000-11-03
* compilation des fichiers ml4 sans GNUseriesGravatar filliatr2000-11-03
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-26 20:17:09 +0000