aboutsummaryrefslogtreecommitdiffhomepage
path: root/config/coq_config.mli
Commit message (Expand)AuthorAge
* Revert "Coqide now need lablgtk2.14.0" + Ide build system debuggingGravatar pboutill2011-06-14
* coqtop -config returns coq returns coq environments at exection timeGravatar pboutill2011-04-28
* Updated all headers for 8.3 and trunkGravatar herbelin2010-07-24
* Remove the svn-specific $Id$ annotationsGravatar letouzey2010-04-29
* Look for csdp in $PATH at runtime, remove -csdpdir configure optionGravatar glondu2010-04-11
* Application des patches envoyés par F. Besson pour micromegaGravatar notin2010-03-08
* Tried to make F1 documentation tool working in CoqIDE.Gravatar herbelin2009-08-14
* Report de la révision #12104 (Maj lien site web de Coq)Gravatar notin2009-04-24
* Ocamlbuild: option for (not) building coqide, better log messagesGravatar letouzey2009-04-03
* Ocamlbuild: improvements suggested by N. PouillardGravatar letouzey2009-04-03
* Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...Gravatar letouzey2009-03-20
* Fix de divers petits problèmes d'installationGravatar notin2009-02-11
* Report des revisions #11826, #11828 et #11829 de v8.2 vers trunkGravatar notin2009-02-11
* Conversion du fichier 'revision' en un fichier .ml + correction d'un bug dans...Gravatar notin2009-01-06
* Nettoyage des variables Coq et amélioration de coqmktop. LesGravatar notin2008-12-19
* Native "Declare ML Module" when possibleGravatar glondu2008-10-28
* Parametrize link flags for VM-dependent bytecodeGravatar glondu2008-09-05
* Add -browser option to configure scriptGravatar glondu2008-07-27
* moved magic numbers to configure (share coq/coqchk)Gravatar barras2008-07-24
* * Adding compability with ocaml 3.10 + camlp5 (rework of Gravatar letouzey2007-09-15
* Suite ajout option -ocamlib à configureGravatar notin2006-09-01
* Ajout d'une option -with-geoproof à la configuration et à l'exécutionGravatar notin2006-06-09
* Nouvelle en-têteGravatar herbelin2004-07-16
* *** empty log message ***Gravatar courant2001-04-19
* entetesGravatar filliatr2001-03-15
* syntaxe AST Inversion + commentaires ocamlweb autour de $Gravatar filliatr2000-12-12
* - coqc: utilise le meilleur coq possibleGravatar filliatr2000-11-24
* nouveau load pathGravatar filliatr2000-11-08
* mise en place des outilsGravatar filliatr1999-12-11
* - erreurs PretypeGravatar filliatr1999-12-10
* mise en place programmation literaire (generation de doc/coq.tex)Gravatar filliatr1999-08-19
* Initial revisionGravatar filliatr1999-08-16
generated by cgit v1.2.3 (git 2.39.1) at 2024-12-11 11:51:28 +0000