aboutsummaryrefslogtreecommitdiffhomepage
path: root/scripts
Commit message (Expand)AuthorAge
* 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
* - 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
* - simplification Makefile (compilation des fichiers .ml'; pas encore parfaitGravatar filliatr2000-10-31
* g_natsyntax et g_zsyntax maintenant toujours linkesGravatar filliatr2000-10-27
* Capture erreur de create_processGravatar herbelin2000-06-29
* contrib linkees en natifGravatar filliatr2000-05-08
* Ajoute option -byteGravatar herbelin2000-05-05
* compilation bytecode / native :Gravatar filliatr2000-05-03