aboutsummaryrefslogtreecommitdiffhomepage
path: root/scripts
Commit message (Expand)AuthorAge
* Add (almost) compatibility with camlp4, without breaking support for camlp5Gravatar letouzey2010-05-19
* Remove the svn-specific $Id$ annotationsGravatar letouzey2010-04-29
* Fixing part 1 of bug #2242 (-I -as and -R -as were supported forGravatar herbelin2010-04-09
* Removing unexpected printing of debug output (see bug report #2271).Gravatar herbelin2010-03-19
* Coqc: on win32, let's call coqtop.exe by default, not coqtop.opt.exeGravatar letouzey2010-02-26
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* Improved parameterization of Coq:Gravatar herbelin2009-08-02
* Many changes in the Makefile infrastructure + a beginning of ocamlbuildGravatar letouzey2009-03-20
* replaced dir_load by load_file because dir_load does not raise an exception w...Gravatar barras2009-03-20
* Reorder coqmktop options and document -echoGravatar glondu2009-01-31
* - Fixed the recompilation of config/revision.ml once every two conmpilations.Gravatar herbelin2009-01-10
* Installation des librairies: on utilise maintenant LINKCMO au lieu deGravatar notin2009-01-06
* - Suppression date dans configure du trunkGravatar herbelin2008-12-26
* Nettoyage des variables Coq et amélioration de coqmktop. LesGravatar notin2008-12-19
* - configure: do not strip coqtop on Darwin so as to support dynamic loadingGravatar herbelin2008-12-12
* Fixed bug in VernacExtend printing + missing vernacular printing rules +Gravatar herbelin2008-11-22
* Execute #rectypes directive in embedded OCaml toplevel...Gravatar glondu2008-11-19
* Tentative d'amélioration de la robustesse des Makefile générés parGravatar notin2008-11-13
* Remove calls to Dynlink.add_{interfaces,available_units} altogetherGravatar glondu2008-10-29
* 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