aboutsummaryrefslogtreecommitdiff
path: root/configure
AgeCommit message (Expand)Author
2007-09-15* Adding compability with ocaml 3.10 + camlp5 (rework of letouzey
2007-08-20Modification de l'initialisation des chemins de la librairie standardnotin
2007-07-13New bootstrapping, improved, Makefile systemcorbinea
2007-04-24Le configure et le README accordent leurs violons pour exiger ocaml 3.07 (res...herbelin
2007-02-27Revision of the coqide configuration: letouzey
2007-01-10Merge from Lionel Elie Mamane's private branch:lmamane
2006-11-16Adaptation à FreeBSDnotin
2006-11-06Changement du magic numbernotin
2006-10-24Changement de la valeur par défaut de with_geoproof (stabilité coqide)notin
2006-10-11Ajout d'une option -annotate au configure+ changement du comportement par dé...notin
2006-09-14Bug dans configure (test best_compiler)notin
2006-09-14Modification de l'appel aux exécutables Camlnotin
2006-09-01Suite ajout option -ocamlib à configurenotin
2006-09-01Affichage de l'aide dans configurenotin
2006-08-30Modification du configure pour paramétrer les exécutables liés à la compi...notin
2006-08-29Compilation de Coq sous Windowsnotin
2006-08-29Changement de l'appel aux exécutables Caml (noms absolus)notin
2006-07-28Modifications dans les scripts de configuration (coqtop et coqide affichent m...notin
2006-06-15Report des modifications faites lors de la 8.0pl3 (ter)notin
2006-06-15Report des modifications faites lors de la 8.0pl3 (bis)notin
2006-06-15Report des modifications faites lors de la 8.0pl3notin
2006-06-09Ajout d'une option -with-geoproof à la configuration et à l'exécutionnotin
2006-06-07Changement de l'option -where: on vérifie si la variable d'environnement COQ...notin
2006-05-23Restructuration dossier dev et mise à jour de certaines documentationsherbelin
2006-04-29suite de l'ajout des FSets/FMaps dans les theories standardsletouzey
2006-04-14Maj configure, README, etc...notin
2006-03-23Correction d'un bug sur 'make doc' et modification des propriétés dans doc/notin
2005-11-18Détection de la version de lablgtk (type GText.view)herbelin
2005-11-04Compatibilité ocaml 3.09herbelin
2004-12-31Compatibilité ancien nom de ocamldebug-coqherbelin
2004-12-23Renommage de ocamldebug-v7 en ocamldebug-coq (pour passage à la v8)herbelin
2004-10-20COMMITED BYTECODE COMPILERbarras
2004-07-16Mise en place mécanisme de compatibilité ocaml 3.08herbelin
2004-05-27Bricoles (cf bug #782)herbelin
2004-04-08Incoherence bytecamlc et camlc si echec a trouver ocamlc.opt avec option -opt...herbelin
2004-04-07*** empty log message ***barras
2004-04-06MAJ V8.0 finaleherbelin
2004-03-17install de coqdocbarras
2004-03-15preparation packages V8.0-cdrombarras
2004-03-15preparation packages V8.0-cdrombarras
2004-02-24coqdocfilliatr
2004-01-29pour win32coq
2004-01-29pour ide sous windowscoq
2004-01-27meilleure separation de compil et install de coq, coqide et coq-interfacebarras
2004-01-20coqide utf8marche
2004-01-06MAJherbelin
2003-12-27MAJherbelin
2003-11-14MAJ dateherbelin
2003-09-12Passage au numéro de version V8herbelin
2003-06-27*** empty log message ***courant
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 15:02:31 +0000