aboutsummaryrefslogtreecommitdiffhomepage
path: root/configure
Commit message (Collapse)AuthorAge
* MAJ V7.3Gravatar herbelin2002-05-15
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2689 85f007b7-540e-0410-9357-904b9bb8a0f7
* exclusion des rertoires de test de l'extractionGravatar letouzey2002-02-05
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2453 85f007b7-540e-0410-9357-904b9bb8a0f7
* *** empty log message ***Gravatar courant2002-01-18
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2405 85f007b7-540e-0410-9357-904b9bb8a0f7
* MAJ ocaml 3.04 sur WindowsGravatar herbelin2002-01-10
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2388 85f007b7-540e-0410-9357-904b9bb8a0f7
* Report de la distrib en janvierGravatar herbelin2002-01-07
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2380 85f007b7-540e-0410-9357-904b9bb8a0f7
* MAJ 7.2Gravatar herbelin2001-12-19
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2336 85f007b7-540e-0410-9357-904b9bb8a0f7
* un echo de débogage superfluGravatar herbelin2001-10-05
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2103 85f007b7-540e-0410-9357-904b9bb8a0f7
* Hack pour ajuster les chemins a la mode cygwinGravatar herbelin2001-09-26
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2074 85f007b7-540e-0410-9357-904b9bb8a0f7
* version V7.1Gravatar herbelin2001-09-20
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2018 85f007b7-540e-0410-9357-904b9bb8a0f7
* version 7.0+1 (pour Nicolas Magaud)Gravatar filliatr2001-07-06
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1830 85f007b7-540e-0410-9357-904b9bb8a0f7
* version 7.0 finaleGravatar filliatr2001-04-23
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1663 85f007b7-540e-0410-9357-904b9bb8a0f7
* ajout du cas win32Gravatar courant2001-04-19
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1631 85f007b7-540e-0410-9357-904b9bb8a0f7
* *** empty log message ***Gravatar courant2001-04-19
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1612 85f007b7-540e-0410-9357-904b9bb8a0f7
* Mise a jour de la config pour distribGravatar mohring2001-04-10
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1569 85f007b7-540e-0410-9357-904b9bb8a0f7
* nettoyage d'entrees de grammaires inutilesGravatar courant2001-04-09
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1563 85f007b7-540e-0410-9357-904b9bb8a0f7
* ocaml 3.01 requisGravatar herbelin2001-03-25
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1488 85f007b7-540e-0410-9357-904b9bb8a0f7
* Tag pour une beta3-ocaml3.01Gravatar herbelin2001-03-25
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1487 85f007b7-540e-0410-9357-904b9bb8a0f7
* Nouvelle betaGravatar herbelin2001-02-02
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1310 85f007b7-540e-0410-9357-904b9bb8a0f7
* Mauvais numéro de version de camlp4 requisGravatar herbelin2000-12-22
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1190 85f007b7-540e-0410-9357-904b9bb8a0f7
* Novembre -> DécembreGravatar herbelin2000-12-22
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1188 85f007b7-540e-0410-9357-904b9bb8a0f7
* - suppression mind_extract_paramsGravatar filliatr2000-12-15
| | | | | | | | | - contraintes univers parametres inductifs prises en compte - exception UniverseInconsistency donne un message "Error: Universe Inconsistency" git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1125 85f007b7-540e-0410-9357-904b9bb8a0f7
* Un == non reconnu sous alphaGravatar delahaye2000-11-28
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@999 85f007b7-540e-0410-9357-904b9bb8a0f7
* Paramètrage de ocamldebug-v7 par configure à partir d'un 'template'Gravatar herbelin2000-11-24
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@949 85f007b7-540e-0410-9357-904b9bb8a0f7
* - coqc: utilise le meilleur coq possibleGravatar filliatr2000-11-24
| | | | | | | | - coqc -v réparé - coqtop: options -byte et -opt git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@940 85f007b7-540e-0410-9357-904b9bb8a0f7
* Prise en compte camlp4.opt dans la configuration et le MakefileGravatar herbelin2000-11-20
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@874 85f007b7-540e-0410-9357-904b9bb8a0f7
* -opt ne remplace plus camlp4 par camlp4o.opt car on ne peut pasGravatar filliatr2000-11-15
| | | | | | | | charger de bytecode avec camlp4o.opt (et la compilation échoue sur parsing/pcoq.ml4 dans ce cas) git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@850 85f007b7-540e-0410-9357-904b9bb8a0f7
* Prise en compte camlp4.opt dans la configuration et le MakefileGravatar herbelin2000-11-11
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@844 85f007b7-540e-0410-9357-904b9bb8a0f7
* nouveau load pathGravatar filliatr2000-11-08
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@828 85f007b7-540e-0410-9357-904b9bb8a0f7
* tous les binaires maintenant dans le repertoire binGravatar filliatr2000-11-08
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@822 85f007b7-540e-0410-9357-904b9bb8a0f7
* compilation avec make de Solaris; README et INSTALLGravatar filliatr2000-11-03
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@797 85f007b7-540e-0410-9357-904b9bb8a0f7
* Adaptation pour alpha.Gravatar delahaye2000-07-05
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@555 85f007b7-540e-0410-9357-904b9bb8a0f7
* Retrait du 'strip' en cas de profilingGravatar herbelin2000-06-27
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@518 85f007b7-540e-0410-9357-904b9bb8a0f7
* compilation bytecode / native :Gravatar filliatr2000-05-03
| | | | | | | | | | - script de configuration - Makefile - simplification de coqmktop - option -opt de coqc git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@413 85f007b7-540e-0410-9357-904b9bb8a0f7
* lorsque ocamlc est donne a la main, alors ocamlopt est positionne avecGravatar filliatr2000-01-26
| | | | | | | le mem chemin (et le suffixe eventuel .opt est conserve) git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@285 85f007b7-540e-0410-9357-904b9bb8a0f7
* mise en place des outilsGravatar filliatr1999-12-11
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@236 85f007b7-540e-0410-9357-904b9bb8a0f7
* - erreurs PretypeGravatar filliatr1999-12-10
| | | | | | | - Write / Restore State git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@230 85f007b7-540e-0410-9357-904b9bb8a0f7
* Ajout option spéciale PPCGravatar herbelin1999-12-06
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@217 85f007b7-540e-0410-9357-904b9bb8a0f7
* bug make_strength repareGravatar filliatr1999-12-03
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@200 85f007b7-540e-0410-9357-904b9bb8a0f7
* modules profile, Coqinit et Coqtop (=main)Gravatar filliatr1999-12-03
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@194 85f007b7-540e-0410-9357-904b9bb8a0f7
* module LibraryGravatar filliatr1999-09-18
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@74 85f007b7-540e-0410-9357-904b9bb8a0f7
* suppression de l'option -nowarning qui n'est pas saineGravatar filliatr1999-08-18
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13 85f007b7-540e-0410-9357-904b9bb8a0f7
* module ClosureGravatar filliatr1999-08-17
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11 85f007b7-540e-0410-9357-904b9bb8a0f7
* Initial revisionGravatar filliatr1999-08-16
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2 85f007b7-540e-0410-9357-904b9bb8a0f7
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-10 00:43:16 +0000