aboutsummaryrefslogtreecommitdiffhomepage
path: root/scripts/coqmktop.ml
Commit message (Expand)AuthorAge
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* 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
* Nettoyage des variables Coq et amélioration de coqmktop. LesGravatar notin2008-12-19
* Execute #rectypes directive in embedded OCaml toplevel...Gravatar glondu2008-11-19
* Remove calls to Dynlink.add_{interfaces,available_units} altogetherGravatar glondu2008-10-29
* Native "Declare ML Module" when possibleGravatar glondu2008-10-28
* Parametrize link flags for VM-dependent bytecodeGravatar glondu2008-09-05
* forgotten debug printf in coqmktop (anyway, can be obtained by -echo)Gravatar letouzey2008-07-08
* 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
* * 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
* 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
* bug coqmktop avec libcoqrun.a en bytecodeGravatar barras2004-11-15
* COMMITED BYTECODE COMPILERGravatar barras2004-10-20
* no-assert en mode natifGravatar herbelin2004-09-26
* restructuration des printers: proofs passe avant parsingGravatar barras2004-09-17
* Nouvelle en-têteGravatar herbelin2004-07-16
* deplacement des cma et cmxa dans les sous-repertoiresGravatar barras2004-01-26
* make libraries, lexing of more utf8 symbolsGravatar marche2004-01-14
* ameliorations coqideGravatar coq2003-12-30
* Inclusion automatique de highparsingGravatar herbelin2003-09-12
* 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
* interface GTK2 experimentaleGravatar monate2003-02-04
* Contournement de ocamlmktop qui plante sous win32Gravatar herbelin2003-02-04
* Réforme de l'interprétation des termes :Gravatar herbelin2002-11-14
* 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
* Ajout d'un "\" pour proteger un autre "\" et ainsi etre compatible avecGravatar clrenard2001-11-30
* amelioration des messages d'erreurs vis a vis des evarsGravatar barras2001-05-23
* support option -R pour coqdepGravatar filliatr2001-04-20
* entetesGravatar filliatr2001-03-15
* les options passées sont prioritaires sur les -I par défautGravatar filliatr2001-03-15