aboutsummaryrefslogtreecommitdiff
path: root/configure
AgeCommit message (Expand)Author
2003-11-14MAJ dateherbelin
2003-09-12Passage au numéro de version V8herbelin
2003-06-27*** empty log message ***courant
2003-05-26*** empty log message ***monate
2003-05-26configure pour CoqIde reparemonate
2003-05-22Ocaml 3.00 a existe'herbelin
2003-05-22compat windowsfilliatr
2003-05-19configure et make install s'occupent de CoqIde tout seulsfilliatr
2003-02-04MAJ pour windowsherbelin
2003-01-30Auto with zarith essaye Abstract Omega sur un but Falsefilliatr
2003-01-21portabilitedoligez
2003-01-13patch configure (V Aymeric)filliatr
2002-11-26Option pour compiler une version 'light' des réelsdesmettr
2002-11-05Intégration des modifs de la branche mowgli :herbelin
2002-10-03Simplification suite MAJ 3.06herbelin
2002-08-16Strengthenning rules for modules + No modules in sectionscoq
2002-08-02En attendant la 3.06, remplacement de +camlp4 par CAMLLIB/camlp4herbelin
2002-07-24suppression des ./ dans les noms des librairiesbarras
2002-05-15MAJ V7.3herbelin
2002-02-05exclusion des rertoires de test de l'extractionletouzey
2002-01-18*** empty log message ***courant
2002-01-10MAJ ocaml 3.04 sur Windowsherbelin
2002-01-07Report de la distrib en janvierherbelin
2001-12-19MAJ 7.2herbelin
2001-10-05un echo de débogage superfluherbelin
2001-09-26Hack pour ajuster les chemins a la mode cygwinherbelin
2001-09-20version V7.1herbelin
2001-07-06version 7.0+1 (pour Nicolas Magaud)filliatr
2001-04-23version 7.0 finalefilliatr
2001-04-19ajout du cas win32courant
2001-04-19*** empty log message ***courant
2001-04-10Mise a jour de la config pour distribmohring
2001-04-09nettoyage d'entrees de grammaires inutilescourant
2001-03-25ocaml 3.01 requisherbelin
2001-03-25Tag pour une beta3-ocaml3.01herbelin
2001-02-02Nouvelle betaherbelin
2000-12-22Mauvais numéro de version de camlp4 requisherbelin
2000-12-22Novembre -> Décembreherbelin
2000-12-15 - suppression mind_extract_paramsfilliatr
2000-11-28Un == non reconnu sous alphadelahaye
2000-11-24Paramètrage de ocamldebug-v7 par configure à partir d'un 'template'herbelin
2000-11-24- coqc: utilise le meilleur coq possiblefilliatr
2000-11-20Prise en compte camlp4.opt dans la configuration et le Makefileherbelin
2000-11-15-opt ne remplace plus camlp4 par camlp4o.opt car on ne peut pasfilliatr
2000-11-11Prise en compte camlp4.opt dans la configuration et le Makefileherbelin
2000-11-08nouveau load pathfilliatr
2000-11-08tous les binaires maintenant dans le repertoire binfilliatr
2000-11-03compilation avec make de Solaris; README et INSTALLfilliatr
2000-07-05Adaptation pour alpha.delahaye
2000-06-27Retrait du 'strip' en cas de profilingherbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 19:35:18 +0000