aboutsummaryrefslogtreecommitdiffhomepage
path: root/scripts
Commit message (Expand)AuthorAge
* Native "Declare ML Module" when possibleGravatar glondu2008-10-28
* Suppression d'un warning inutileGravatar notin2008-09-09
* Parametrize link flags for VM-dependent bytecodeGravatar glondu2008-09-05
* coqc: warning de l'option -dump-glob (unused case)Gravatar barras2008-08-07
* Rétablissement de l'option -dump-glob de coq top et de l'option -glob-from d...Gravatar notin2008-07-18
* forgotten debug printf in coqmktop (anyway, can be obtained by -echo)Gravatar letouzey2008-07-08
* Suppression de l'option -dump-glob et ajout d'une option -no-globGravatar notin2008-06-24
* Intégration de micromega ("omicron" pour fourier et sa variante sur Z,Gravatar herbelin2008-05-19
* Des choses bizarres avec pa_op.cmo (extension syntaxique pour parser)Gravatar herbelin2008-03-09
* Plus de combinateurs sont passés de Util à Option. Le module Options Gravatar aspiwack2007-12-06
* Oups. Clflags.recursive_types isnt normally accessible on a standard ocaml in...Gravatar letouzey2007-11-06
* For debugging with coqtop.byte with ocaml 3.10, the toplevel should be made w...Gravatar letouzey2007-11-05
* Uniformisation de l'option -where de coqc avec celle de coqtopGravatar notin2007-10-18
* * Adding compability with ocaml 3.10 + camlp5 (rework of Gravatar letouzey2007-09-15
* Plus d'option -v8 dans coqmktopGravatar herbelin2007-04-29
* Correction bug #1282Gravatar herbelin2007-01-17
* Modification de l'appel aux exécutables CamlGravatar notin2006-09-14
* Suite ajout option -ocamlib à configureGravatar notin2006-09-01
* Compilation de Coq sous WindowsGravatar notin2006-08-29
* - intégration de la modification suggérée par L. Mamane: coqmktop passe ma...Gravatar notin2006-05-04
* Suppression des fichiers .cvsignore, rendus obsolètes par le systèmes des '...Gravatar notin2006-04-28
* Remplacement -no-vm par -vmGravatar herbelin2005-12-28
* Nettoyage suite à la détection par défaut des variables inutilisées par o...Gravatar herbelin2005-11-08
* Passage option -w à ocamlGravatar herbelin2005-11-04
* q_*.cmo useless for making coqtopGravatar herbelin2005-02-18
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-12-15 12:31:20 +0000