aboutsummaryrefslogtreecommitdiffhomepage
path: root/configure
Commit message (Expand)AuthorAge
...
* 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
* MAJ V8.0 finaleGravatar herbelin2004-04-06
* install de coqdocGravatar barras2004-03-17
* preparation packages V8.0-cdromGravatar barras2004-03-15
* preparation packages V8.0-cdromGravatar barras2004-03-15
* coqdocGravatar filliatr2004-02-24
* pour win32Gravatar coq2004-01-29
* pour ide sous windowsGravatar coq2004-01-29
* meilleure separation de compil et install de coq, coqide et coq-interfaceGravatar barras2004-01-27
* coqide utf8Gravatar marche2004-01-20
* MAJGravatar herbelin2004-01-06
* MAJGravatar herbelin2003-12-27
* MAJ dateGravatar herbelin2003-11-14
* Passage au numéro de version V8Gravatar herbelin2003-09-12
* *** empty log message ***Gravatar courant2003-06-27
* *** empty log message ***Gravatar monate2003-05-26
* configure pour CoqIde repareGravatar monate2003-05-26
* Ocaml 3.00 a existe'Gravatar herbelin2003-05-22
* compat windowsGravatar filliatr2003-05-22
* configure et make install s'occupent de CoqIde tout seulsGravatar filliatr2003-05-19
* MAJ pour windowsGravatar herbelin2003-02-04
* Auto with zarith essaye Abstract Omega sur un but FalseGravatar filliatr2003-01-30
* portabiliteGravatar doligez2003-01-21
* patch configure (V Aymeric)Gravatar filliatr2003-01-13
* Option pour compiler une version 'light' des réelsGravatar desmettr2002-11-26
* Intégration des modifs de la branche mowgli :Gravatar herbelin2002-11-05