aboutsummaryrefslogtreecommitdiff
path: root/configure
AgeCommit message (Collapse)Author
2007-01-10Merge from Lionel Elie Mamane's private branch:lmamane
- Makefile: Option (environment variable NO_RECOMPILE_LIB) to not recompile the whole standard library just because the coq binaries got rebuilt. - Infrastructure to change the object pretty-printers at runtime. - Use that infrastructure to make coqtop-protocol with Pcoq trees and Pcoq-protocol with pretty-printed terms possible in coq-interface. - Make "Back(track)" into closed sections, modules and module types "Just Work™". - Modernise/generalise Pcoq protocol a bit, make some of its warts optional. - Implement "Show." in Pcoq mode. - Add Rpow_def.vo to REALSBASEVO so that its dependencies are computed (and used). - "make revision" now handles GNU Arch / tla in addition to svn. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9476 85f007b7-540e-0410-9357-904b9bb8a0f7
2006-11-16Adaptation à FreeBSDnotin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9378 85f007b7-540e-0410-9357-904b9bb8a0f7
2006-11-06Changement du magic numbernotin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9346 85f007b7-540e-0410-9357-904b9bb8a0f7
2006-10-24Changement de la valeur par défaut de with_geoproof (stabilité coqide)notin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9271 85f007b7-540e-0410-9357-904b9bb8a0f7
2006-10-11Ajout d'une option -annotate au configure+ changement du comportement par ↵notin
défaut de make git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9232 85f007b7-540e-0410-9357-904b9bb8a0f7
2006-09-14Bug dans configure (test best_compiler)notin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9139 85f007b7-540e-0410-9357-904b9bb8a0f7
2006-09-14Modification de l'appel aux exécutables Camlnotin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9135 85f007b7-540e-0410-9357-904b9bb8a0f7
2006-09-01Suite ajout option -ocamlib à configurenotin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9115 85f007b7-540e-0410-9357-904b9bb8a0f7
2006-09-01Affichage de l'aide dans configurenotin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9109 85f007b7-540e-0410-9357-904b9bb8a0f7
2006-08-30Modification du configure pour paramétrer les exécutables liés à la ↵notin
compilation C git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9099 85f007b7-540e-0410-9357-904b9bb8a0f7
2006-08-29Compilation de Coq sous Windowsnotin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9098 85f007b7-540e-0410-9357-904b9bb8a0f7
2006-08-29Changement de l'appel aux exécutables Caml (noms absolus)notin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9095 85f007b7-540e-0410-9357-904b9bb8a0f7
2006-07-28Modifications dans les scripts de configuration (coqtop et coqide affichent ↵notin
maintenant le numéro de révision svn) + correction problème OCaml 3.07 et caml_;odify git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9063 85f007b7-540e-0410-9357-904b9bb8a0f7
2006-06-15Report des modifications faites lors de la 8.0pl3 (ter)notin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8961 85f007b7-540e-0410-9357-904b9bb8a0f7
2006-06-15Report des modifications faites lors de la 8.0pl3 (bis)notin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8960 85f007b7-540e-0410-9357-904b9bb8a0f7
2006-06-15Report des modifications faites lors de la 8.0pl3notin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8959 85f007b7-540e-0410-9357-904b9bb8a0f7
2006-06-09Ajout d'une option -with-geoproof à la configuration et à l'exécutionnotin
pour inhiber la gestion de Geoproof sous Coqide (qui peut poser des problèmes avec GTK < 2.6.0) git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8932 85f007b7-540e-0410-9357-904b9bb8a0f7
2006-06-07Changement de l'option -where: on vérifie si la variable d'environnement ↵notin
COQLIB est définie git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8912 85f007b7-540e-0410-9357-904b9bb8a0f7
2006-05-23Restructuration dossier dev et mise à jour de certaines documentationsherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8856 85f007b7-540e-0410-9357-904b9bb8a0f7
2006-04-29suite de l'ajout des FSets/FMaps dans les theories standardsletouzey
-> OrderedTypeEx: des exemples de OrderedType -> OrderedTypeAlt: une definition alternative de OrderedType -> FSetAVL et FMapAVL: realisation a coup d'AVL -> FMapPositive: realisation a coup d'arbre binaire (selon les chiffres binaires de la cle) -> FMapIntMap : realisation en utilisant IntMap -> FSetToFiniteSet: un ensemble de FSet est un ensemble de Ensemble.v FSetAVL et FMapAVL prenent 30 secondes chacuns sur ma machine: on peut ne pas les compiler en passant l'option "-fsets no" a configure, de facon similaire a "-reals no" git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8773 85f007b7-540e-0410-9357-904b9bb8a0f7
2006-04-14Maj configure, README, etc...notin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8712 85f007b7-540e-0410-9357-904b9bb8a0f7
2006-03-23Correction d'un bug sur 'make doc' et modification des propriétés dans doc/notin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8656 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-11-18Détection de la version de lablgtk (type GText.view)herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7580 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-11-04Compatibilité ocaml 3.09herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7514 85f007b7-540e-0410-9357-904b9bb8a0f7
2004-12-31Compatibilité ancien nom de ocamldebug-coqherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6536 85f007b7-540e-0410-9357-904b9bb8a0f7
2004-12-23Renommage de ocamldebug-v7 en ocamldebug-coq (pour passage à la v8)herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6494 85f007b7-540e-0410-9357-904b9bb8a0f7
2004-10-20COMMITED BYTECODE COMPILERbarras
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6245 85f007b7-540e-0410-9357-904b9bb8a0f7
2004-07-16Mise en place mécanisme de compatibilité ocaml 3.08herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5929 85f007b7-540e-0410-9357-904b9bb8a0f7
2004-05-27Bricoles (cf bug #782)herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5769 85f007b7-540e-0410-9357-904b9bb8a0f7
2004-04-08Incoherence bytecamlc et camlc si echec a trouver ocamlc.opt avec option ↵herbelin
-opt (cd discussion bug #611) git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5662 85f007b7-540e-0410-9357-904b9bb8a0f7
2004-04-07*** empty log message ***barras
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5654 85f007b7-540e-0410-9357-904b9bb8a0f7
2004-04-06MAJ V8.0 finaleherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5643 85f007b7-540e-0410-9357-904b9bb8a0f7
2004-03-17install de coqdocbarras
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5523 85f007b7-540e-0410-9357-904b9bb8a0f7
2004-03-15preparation packages V8.0-cdrombarras
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5492 85f007b7-540e-0410-9357-904b9bb8a0f7
2004-03-15preparation packages V8.0-cdrombarras
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5488 85f007b7-540e-0410-9357-904b9bb8a0f7
2004-02-24coqdocfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5379 85f007b7-540e-0410-9357-904b9bb8a0f7
2004-01-29pour win32coq
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5270 85f007b7-540e-0410-9357-904b9bb8a0f7
2004-01-29pour ide sous windowscoq
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5267 85f007b7-540e-0410-9357-904b9bb8a0f7
2004-01-27meilleure separation de compil et install de coq, coqide et coq-interfacebarras
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5256 85f007b7-540e-0410-9357-904b9bb8a0f7
2004-01-20coqide utf8marche
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5222 85f007b7-540e-0410-9357-904b9bb8a0f7
2004-01-06MAJherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5175 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-12-27MAJherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5155 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-11-14MAJ dateherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4918 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-09-12Passage au numéro de version V8herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4381 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-06-27*** empty log message ***courant
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4209 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-05-26*** empty log message ***monate
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4077 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-05-26configure pour CoqIde reparemonate
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4076 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-05-22Ocaml 3.00 a existe'herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4058 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-05-22compat windowsfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4057 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-05-19configure et make install s'occupent de CoqIde tout seulsfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4029 85f007b7-540e-0410-9357-904b9bb8a0f7
generated by cgit v1.2.3 (git 2.25.1) at 2026-08-10 05:52:11 +0000