aboutsummaryrefslogtreecommitdiffhomepage
path: root/configure
Commit message (Expand)AuthorAge
* Détection de la version de lablgtk (type GText.view)Gravatar herbelin2005-11-18
* Compatibilité ocaml 3.09Gravatar herbelin2005-11-04
* Compatibilité ancien nom de ocamldebug-coqGravatar herbelin2004-12-31
* Renommage de ocamldebug-v7 en ocamldebug-coq (pour passage à la v8)Gravatar herbelin2004-12-23
* COMMITED BYTECODE COMPILERGravatar barras2004-10-20
* Mise en place mécanisme de compatibilité ocaml 3.08Gravatar herbelin2004-07-16
* Bricoles (cf bug #782)Gravatar herbelin2004-05-27
* Incoherence bytecamlc et camlc si echec a trouver ocamlc.opt avec option -opt...Gravatar herbelin2004-04-08
* *** empty log message ***Gravatar barras2004-04-07
* MAJ V8.0 finaleGravatar herbelin2004-04-06
* install de coqdocGravatar barras2004-03-17
* preparation packages V8.0-cdromGravatar barras2004-03-15
* preparation packages V8.0-cdromGravatar barras2004-03-15
* coqdocGravatar filliatr2004-02-24
* pour win32Gravatar coq2004-01-29
* pour ide sous windowsGravatar coq2004-01-29
* meilleure separation de compil et install de coq, coqide et coq-interfaceGravatar barras2004-01-27
* coqide utf8Gravatar marche2004-01-20
* MAJGravatar herbelin2004-01-06
* MAJGravatar herbelin2003-12-27
* MAJ dateGravatar herbelin2003-11-14
* Passage au numéro de version V8Gravatar herbelin2003-09-12
* *** empty log message ***Gravatar courant2003-06-27
* *** empty log message ***Gravatar monate2003-05-26
* configure pour CoqIde repareGravatar monate2003-05-26
* Ocaml 3.00 a existe'Gravatar herbelin2003-05-22
* compat windowsGravatar filliatr2003-05-22
* configure et make install s'occupent de CoqIde tout seulsGravatar filliatr2003-05-19
* MAJ pour windowsGravatar herbelin2003-02-04
* Auto with zarith essaye Abstract Omega sur un but FalseGravatar filliatr2003-01-30
* portabiliteGravatar doligez2003-01-21
* patch configure (V Aymeric)Gravatar filliatr2003-01-13
* Option pour compiler une version 'light' des réelsGravatar desmettr2002-11-26
* Intégration des modifs de la branche mowgli :Gravatar herbelin2002-11-05
* Simplification suite MAJ 3.06Gravatar herbelin2002-10-03
* Strengthenning rules for modules + No modules in sectionsGravatar coq2002-08-16
* En attendant la 3.06, remplacement de +camlp4 par CAMLLIB/camlp4Gravatar herbelin2002-08-02
* suppression des ./ dans les noms des librairiesGravatar barras2002-07-24
* MAJ V7.3Gravatar herbelin2002-05-15
* exclusion des rertoires de test de l'extractionGravatar letouzey2002-02-05
* *** empty log message ***Gravatar courant2002-01-18
* MAJ ocaml 3.04 sur WindowsGravatar herbelin2002-01-10
* Report de la distrib en janvierGravatar herbelin2002-01-07
* MAJ 7.2Gravatar herbelin2001-12-19
* un echo de débogage superfluGravatar herbelin2001-10-05
* Hack pour ajuster les chemins a la mode cygwinGravatar herbelin2001-09-26
* version V7.1Gravatar herbelin2001-09-20
* version 7.0+1 (pour Nicolas Magaud)Gravatar filliatr2001-07-06
* version 7.0 finaleGravatar filliatr2001-04-23
* ajout du cas win32Gravatar courant2001-04-19