aboutsummaryrefslogtreecommitdiff
path: root/config/Makefile.template
AgeCommit message (Expand)Author
2008-01-11Amélioration de la génération des graphes de dépendancesnotin
2007-10-04Ajout option -lablgtkdir au configure (basé sur patch de Guillaumeherbelin
2007-10-03Compilation sous windowsnotin
2007-10-02Fix a problem doing 'make clean' under Winodwsnotin
2007-09-15* Adding compability with ocaml 3.10 + camlp5 (rework of letouzey
2007-08-24Report 10087, 10089, 10090 de 8.1 vers trunk (compatibilité camlp5 et -recty...herbelin
2007-07-13New bootstrapping, improved, Makefile systemcorbinea
2006-10-11Ajout d'une option -annotate au configure+ changement du comportement par dé...notin
2006-09-14Compilation de Coq sous Windowsnotin
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-05-04- intégration de la modification suggérée par L. Mamane: coqmktop passe ma...notin
2006-04-29suite de l'ajout des FSets/FMaps dans les theories standardsletouzey
2005-11-04Compatibilité ocaml 3.09herbelin
2004-10-20COMMITED BYTECODE COMPILERbarras
2004-07-16Mise en place mécanisme de compatibilité ocaml 3.08herbelin
2004-03-17install de coqdocbarras
2004-02-24coqdocfilliatr
2004-01-29pour win32coq
2003-05-19configure et make install s'occupent de CoqIde tout seulsfilliatr
2002-11-26Option pour compiler une version 'light' des réelsdesmettr
2002-01-10MAJ ocaml 3.04 sur Windowsherbelin
2000-11-11Prise en compte camlp4.opt dans la configuration et le Makefileherbelin
2000-06-27Retrait du 'strip' en cas de profilingherbelin
2000-05-03compilation bytecode / native :filliatr
1999-12-10 - erreurs Pretypefilliatr
1999-08-16Initial revisionfilliatr
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-28 20:17:54 +0000