aboutsummaryrefslogtreecommitdiffhomepage
path: root/config
Commit message (Expand)AuthorAge
* Fix caml debug flags configuration, -g works with the native compiler onlyGravatar msozeau2008-05-19
* Integration of theories/Ints into theories/Numbers, again : better generation...Gravatar letouzey2008-05-08
* Plongement de doc/Makefile dans la nouvelle architecutre des MakefileGravatar notin2008-02-14
* Amélioration de la génération des graphes de dépendancesGravatar notin2008-01-11
* 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
* * Adding compability with ocaml 3.10 + camlp5 (rework of Gravatar letouzey2007-09-15
* Report 10087, 10089, 10090 de 8.1 vers trunk (compatibilité camlp5 et -recty...Gravatar herbelin2007-08-24
* New bootstrapping, improved, Makefile systemGravatar corbinea2007-07-13
* Ajout d'une option -annotate au configure+ changement du comportement par dé...Gravatar notin2006-10-11
* Compilation de Coq sous WindowsGravatar notin2006-09-14
* Suite ajout option -ocamlib à 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
* Ajout d'une option -with-geoproof à la configuration et à l'exécutionGravatar notin2006-06-09
* - intégration de la modification suggérée par L. Mamane: coqmktop passe ma...Gravatar notin2006-05-04
* suite de l'ajout des FSets/FMaps dans les theories standardsGravatar letouzey2006-04-29
* Suppression des fichiers .cvsignore, rendus obsolètes par le systèmes des '...Gravatar notin2006-04-28
* Compatibilité ocaml 3.09Gravatar herbelin2005-11-04
* COMMITED BYTECODE COMPILERGravatar barras2004-10-20
* Mise en place mécanisme de compatibilité ocaml 3.08Gravatar herbelin2004-07-16
* Nouvelle en-têteGravatar herbelin2004-07-16
* install de coqdocGravatar barras2004-03-17
* coqdocGravatar filliatr2004-02-24
* pour win32Gravatar coq2004-01-29
* configure et make install s'occupent de CoqIde tout seulsGravatar filliatr2003-05-19
* Option pour compiler une version 'light' des réelsGravatar desmettr2002-11-26
* Pour déterminer sous Windows si ocaml est en version cygwin ou win32Gravatar herbelin2002-01-11
* MAJ ocaml 3.04 sur WindowsGravatar herbelin2002-01-10
* *** empty log message ***Gravatar courant2001-04-19
* entetesGravatar filliatr2001-03-15
* syntaxe AST Inversion + commentaires ocamlweb autour de $Gravatar filliatr2000-12-12
* - coqc: utilise le meilleur coq possibleGravatar filliatr2000-11-24
* Prise en compte camlp4.opt dans la configuration et le MakefileGravatar herbelin2000-11-11
* nouveau load pathGravatar filliatr2000-11-08
* Retrait du 'strip' en cas de profilingGravatar herbelin2000-06-27
* compilation bytecode / native :Gravatar filliatr2000-05-03
* mise en place des outilsGravatar filliatr1999-12-11
* - erreurs PretypeGravatar filliatr1999-12-10
* mise en place programmation literaire (generation de doc/coq.tex)Gravatar filliatr1999-08-19
* Initial revisionGravatar filliatr1999-08-16
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-23 17:15:13 +0000