aboutsummaryrefslogtreecommitdiffhomepage
path: root/configure
Commit message (Expand)AuthorAge
* 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
* compilation bytecode / native :Gravatar filliatr2000-05-03
* lorsque ocamlc est donne a la main, alors ocamlopt est positionne avecGravatar filliatr2000-01-26
* mise en place des outilsGravatar filliatr1999-12-11
* - erreurs PretypeGravatar filliatr1999-12-10
* Ajout option spéciale PPCGravatar herbelin1999-12-06
* bug make_strength repareGravatar filliatr1999-12-03
* modules profile, Coqinit et Coqtop (=main)Gravatar filliatr1999-12-03
* module LibraryGravatar filliatr1999-09-18
* suppression de l'option -nowarning qui n'est pas saineGravatar filliatr1999-08-18
* module ClosureGravatar filliatr1999-08-17
* Initial revisionGravatar filliatr1999-08-16