aboutsummaryrefslogtreecommitdiffhomepage
path: root/configure
Commit message (Expand)AuthorAge
* 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
* *** empty log message ***Gravatar courant2001-04-19
* Mise a jour de la config pour distribGravatar mohring2001-04-10
* nettoyage d'entrees de grammaires inutilesGravatar courant2001-04-09
* ocaml 3.01 requisGravatar herbelin2001-03-25
* Tag pour une beta3-ocaml3.01Gravatar herbelin2001-03-25
* Nouvelle betaGravatar herbelin2001-02-02
* Mauvais numéro de version de camlp4 requisGravatar herbelin2000-12-22
* Novembre -> DécembreGravatar herbelin2000-12-22
* - suppression mind_extract_paramsGravatar filliatr2000-12-15
* Un == non reconnu sous alphaGravatar delahaye2000-11-28
* Paramètrage de ocamldebug-v7 par configure à partir d'un 'template'Gravatar herbelin2000-11-24
* - coqc: utilise le meilleur coq possibleGravatar filliatr2000-11-24
* Prise en compte camlp4.opt dans la configuration et le MakefileGravatar herbelin2000-11-20
* -opt ne remplace plus camlp4 par camlp4o.opt car on ne peut pasGravatar filliatr2000-11-15
* Prise en compte camlp4.opt dans la configuration et le MakefileGravatar herbelin2000-11-11
* nouveau load pathGravatar filliatr2000-11-08
* tous les binaires maintenant dans le repertoire binGravatar filliatr2000-11-08
* compilation avec make de Solaris; README et INSTALLGravatar filliatr2000-11-03
* Adaptation pour alpha.Gravatar delahaye2000-07-05
* Retrait du 'strip' en cas de profilingGravatar herbelin2000-06-27