aboutsummaryrefslogtreecommitdiffhomepage
path: root/configure
Commit message (Expand)AuthorAge
* Plongement de doc/Makefile dans la nouvelle architecutre des MakefileGravatar notin2008-02-14
* Résolution d'une confusion dans le rôle des variables CAMLP4 et CAMLP4LIB:Gravatar herbelin2008-02-06
* Protection contre l'erreur mentionnée dans le rapport de bug 1790Gravatar herbelin2008-02-06
* migration of ide/utf8.v to theories/Unicode/Utf8.vGravatar letouzey2007-12-13
* Added transitivity and irreflexivity of <, as well as < -elimination for bina...Gravatar emakarov2007-10-16
* Bug variable CAMLP4 qui ne doit pas contenir un chemin mais le type de prepro...Gravatar herbelin2007-10-11
* Verification ocaml >= 3.09.3 pour coq natif sous MacOS X PentiumGravatar herbelin2007-10-09
* Détection de camlp5 5.00 au configureGravatar herbelin2007-10-07
* Ajout de la possibilité de donner le chemin de la bibliothèque camlp5Gravatar herbelin2007-10-07
* petite reparation de la config pour camlp5 apres le commit 10164Gravatar letouzey2007-10-05
* Ajout option -lablgtkdir au configure (basé sur patch de GuillaumeGravatar herbelin2007-10-04
* Compilation sous windowsGravatar notin2007-10-03
* Fix a problem doing 'make clean' under WinodwsGravatar notin2007-10-02
* Report des modifications faites sur le configure en r10039, r10052, r10053 et...Gravatar notin2007-10-02
* * Adding compability with ocaml 3.10 + camlp5 (rework of Gravatar letouzey2007-09-15
* Modification de l'initialisation des chemins de la librairie standardGravatar notin2007-08-20
* New bootstrapping, improved, Makefile systemGravatar corbinea2007-07-13
* Le configure et le README accordent leurs violons pour exiger ocaml 3.07 (res...Gravatar herbelin2007-04-24
* Revision of the coqide configuration: Gravatar letouzey2007-02-27
* Merge from Lionel Elie Mamane's private branch:Gravatar lmamane2007-01-10
* Adaptation à FreeBSDGravatar notin2006-11-16
* Changement du magic numberGravatar notin2006-11-06
* Changement de la valeur par défaut de with_geoproof (stabilité coqide)Gravatar notin2006-10-24
* Ajout d'une option -annotate au configure+ changement du comportement par dé...Gravatar notin2006-10-11
* Bug dans configure (test best_compiler)Gravatar notin2006-09-14
* Modification de l'appel aux exécutables CamlGravatar notin2006-09-14
* Suite ajout option -ocamlib à configureGravatar notin2006-09-01
* Affichage de l'aide dans configureGravatar notin2006-09-01
* Modification du configure pour paramétrer les exécutables liés à la compi...Gravatar notin2006-08-30
* Compilation de Coq sous WindowsGravatar notin2006-08-29
* Changement de l'appel aux exécutables Caml (noms absolus)Gravatar notin2006-08-29
* Modifications dans les scripts de configuration (coqtop et coqide affichent m...Gravatar notin2006-07-28
* Report des modifications faites lors de la 8.0pl3 (ter)Gravatar notin2006-06-15
* Report des modifications faites lors de la 8.0pl3 (bis)Gravatar notin2006-06-15
* Report des modifications faites lors de la 8.0pl3Gravatar notin2006-06-15
* Ajout d'une option -with-geoproof à la configuration et à l'exécutionGravatar notin2006-06-09
* Changement de l'option -where: on vérifie si la variable d'environnement COQ...Gravatar notin2006-06-07
* Restructuration dossier dev et mise à jour de certaines documentationsGravatar herbelin2006-05-23
* suite de l'ajout des FSets/FMaps dans les theories standardsGravatar letouzey2006-04-29
* Maj configure, README, etc...Gravatar notin2006-04-14
* Correction d'un bug sur 'make doc' et modification des propriétés dans doc/Gravatar notin2006-03-23
* Détection de la version de lablgtk (type GText.view)Gravatar herbelin2005-11-18
* Compatibilité ocaml 3.09Gravatar herbelin2005-11-04
* Compatibilité ancien nom de ocamldebug-coqGravatar herbelin2004-12-31
* Renommage de ocamldebug-v7 en ocamldebug-coq (pour passage à la v8)Gravatar herbelin2004-12-23
* COMMITED BYTECODE COMPILERGravatar barras2004-10-20
* Mise en place mécanisme de compatibilité ocaml 3.08Gravatar herbelin2004-07-16
* Bricoles (cf bug #782)Gravatar herbelin2004-05-27
* Incoherence bytecamlc et camlc si echec a trouver ocamlc.opt avec option -opt...Gravatar herbelin2004-04-08
* *** empty log message ***Gravatar barras2004-04-07