aboutsummaryrefslogtreecommitdiff
path: root/scripts/coqc.ml
AgeCommit message (Expand)Author
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-01 10:07:52 +0000