aboutsummaryrefslogtreecommitdiffhomepage
path: root/scripts
Commit message (Expand)AuthorAge
* compatibility with POWERPCGravatar gregoire2004-11-22
* bug coqmktop avec libcoqrun.a en bytecodeGravatar barras2004-11-15
* Added option -no-vm.Gravatar sacerdot2004-10-25
* COMMITED BYTECODE COMPILERGravatar barras2004-10-20
* no-assert en mode natifGravatar herbelin2004-09-26
* restructuration des printers: proofs passe avant parsingGravatar barras2004-09-17
* 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
* deplacement des cma et cmxa dans les sous-repertoiresGravatar barras2004-01-26
* make libraries, lexing of more utf8 symbolsGravatar marche2004-01-14
* option -strict-implicit pas reconnueGravatar barras2003-12-30
* ameliorations coqideGravatar coq2003-12-30
* Ajout option -impredicative-setGravatar herbelin2003-11-08
* Renommage no-strict en -strict-implicit; option -dont-load-proofsGravatar herbelin2003-10-08
* Inclusion automatique de highparsingGravatar herbelin2003-09-12
* Fusion -translate et -ftranslateGravatar herbelin2003-08-14
* Option -v8 à coqtop lance coqtopnew; option -no-strict; option -no-proofsGravatar herbelin2003-08-11
* Coqide : introduction des coprocessus. CoqIde est maintenant interruptibleGravatar monate2003-04-09
* on repasse aussi -thread a CamlGravatar filliatr2003-04-08
* coqmktop: -ide fait ce qu'il faut (on peut maintenant construire des Coq IDE ...Gravatar filliatr2003-03-17
* *** empty log message ***Gravatar barras2003-03-12
* Ajout du traducteurGravatar desmettr2003-02-05
* interface GTK2 experimentaleGravatar monate2003-02-04
* Contournement de ocamlmktop qui plante sous win32Gravatar herbelin2003-02-04
* Ajout options -v7 et -v8, et commandes V7only et V8onlyGravatar herbelin2002-12-10
* Réforme de l'interprétation des termes :Gravatar herbelin2002-11-14
* Intégration des modifs de la branche mowgli :Gravatar herbelin2002-11-05
* echappements incorrects dans chaineGravatar filliatr2002-09-17
* Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...Gravatar herbelin2002-05-29
* option -dump-glob pour coqdocGravatar filliatr2002-02-14
* Ajout d'un "\" pour proteger un autre "\" et ainsi etre compatible avecGravatar clrenard2001-11-30
* 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
* amelioration des messages d'erreurs vis a vis des evarsGravatar barras2001-05-23
* support option -R pour coqdepGravatar filliatr2001-04-20
* *** empty log message ***Gravatar courant2001-04-19
* option -verbose a coqc; option -i suppriméeGravatar filliatr2001-03-21
* entetesGravatar filliatr2001-03-15
* les options passées sont prioritaires sur les -I par défautGravatar filliatr2001-03-15
* modifs pour extraction; bug coqmktopGravatar filliatr2001-03-06
* bug Reset et SectionsGravatar filliatr2001-02-28
* 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