aboutsummaryrefslogtreecommitdiffhomepage
path: root/scripts
Commit message (Expand)AuthorAge
* In Coq_config: get rid of coqsrc and make coqlib optionalGravatar glondu2011-09-27
* coqc: Recognize option -force-load-proofs.Gravatar letouzey2011-09-15
* Fix typo in coqmktop helpGravatar glondu2011-07-20
* Coqc: fix the exit codeGravatar letouzey2011-04-15
* remove old traces of SearchIsos (never ported to 7.x nor 8.x)Gravatar letouzey2011-04-12
* Remove the "Boxed" syntaxes and the const_entry_boxed fieldGravatar letouzey2011-01-28
* Coqide is not built with coqmktop any moreGravatar pboutill2011-01-07
* Now prints an error instead of an anomaly when dynlink failsGravatar herbelin2010-09-18
* CoqIDE argv parsing delegated to coqtopGravatar vgross2010-09-14
* Fix unescaped end-of-lines (OCaml warning 29)Gravatar glondu2010-09-13
* * scripts/Coqc toplevel/Usage:Gravatar regisgia2010-08-27
* Updated all headers for 8.3 and trunkGravatar herbelin2010-07-24
* 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