aboutsummaryrefslogtreecommitdiffhomepage
path: root/configure
Commit message (Collapse)AuthorAge
* Compatibilité ocaml 3.09Gravatar herbelin2005-11-04
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7514 85f007b7-540e-0410-9357-904b9bb8a0f7
* Compatibilité ancien nom de ocamldebug-coqGravatar herbelin2004-12-31
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6536 85f007b7-540e-0410-9357-904b9bb8a0f7
* Renommage de ocamldebug-v7 en ocamldebug-coq (pour passage à la v8)Gravatar herbelin2004-12-23
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6494 85f007b7-540e-0410-9357-904b9bb8a0f7
* COMMITED BYTECODE COMPILERGravatar barras2004-10-20
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6245 85f007b7-540e-0410-9357-904b9bb8a0f7
* Mise en place mécanisme de compatibilité ocaml 3.08Gravatar herbelin2004-07-16
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5929 85f007b7-540e-0410-9357-904b9bb8a0f7
* Bricoles (cf bug #782)Gravatar herbelin2004-05-27
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5769 85f007b7-540e-0410-9357-904b9bb8a0f7
* Incoherence bytecamlc et camlc si echec a trouver ocamlc.opt avec option ↵Gravatar herbelin2004-04-08
| | | | | | -opt (cd discussion bug #611) git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5662 85f007b7-540e-0410-9357-904b9bb8a0f7
* *** empty log message ***Gravatar barras2004-04-07
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5654 85f007b7-540e-0410-9357-904b9bb8a0f7
* MAJ V8.0 finaleGravatar herbelin2004-04-06
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5643 85f007b7-540e-0410-9357-904b9bb8a0f7
* install de coqdocGravatar barras2004-03-17
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5523 85f007b7-540e-0410-9357-904b9bb8a0f7
* preparation packages V8.0-cdromGravatar barras2004-03-15
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5492 85f007b7-540e-0410-9357-904b9bb8a0f7
* preparation packages V8.0-cdromGravatar barras2004-03-15
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5488 85f007b7-540e-0410-9357-904b9bb8a0f7
* coqdocGravatar filliatr2004-02-24
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5379 85f007b7-540e-0410-9357-904b9bb8a0f7
* pour win32Gravatar coq2004-01-29
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5270 85f007b7-540e-0410-9357-904b9bb8a0f7
* pour ide sous windowsGravatar coq2004-01-29
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5267 85f007b7-540e-0410-9357-904b9bb8a0f7
* meilleure separation de compil et install de coq, coqide et coq-interfaceGravatar barras2004-01-27
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5256 85f007b7-540e-0410-9357-904b9bb8a0f7
* coqide utf8Gravatar marche2004-01-20
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5222 85f007b7-540e-0410-9357-904b9bb8a0f7
* MAJGravatar herbelin2004-01-06
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5175 85f007b7-540e-0410-9357-904b9bb8a0f7
* MAJGravatar herbelin2003-12-27
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5155 85f007b7-540e-0410-9357-904b9bb8a0f7
* MAJ dateGravatar herbelin2003-11-14
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4918 85f007b7-540e-0410-9357-904b9bb8a0f7
* Passage au numéro de version V8Gravatar herbelin2003-09-12
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4381 85f007b7-540e-0410-9357-904b9bb8a0f7
* *** empty log message ***Gravatar courant2003-06-27
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4209 85f007b7-540e-0410-9357-904b9bb8a0f7
* *** empty log message ***Gravatar monate2003-05-26
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4077 85f007b7-540e-0410-9357-904b9bb8a0f7
* configure pour CoqIde repareGravatar monate2003-05-26
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4076 85f007b7-540e-0410-9357-904b9bb8a0f7
* Ocaml 3.00 a existe'Gravatar herbelin2003-05-22
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4058 85f007b7-540e-0410-9357-904b9bb8a0f7
* compat windowsGravatar filliatr2003-05-22
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4057 85f007b7-540e-0410-9357-904b9bb8a0f7
* configure et make install s'occupent de CoqIde tout seulsGravatar filliatr2003-05-19
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4029 85f007b7-540e-0410-9357-904b9bb8a0f7
* MAJ pour windowsGravatar herbelin2003-02-04
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3656 85f007b7-540e-0410-9357-904b9bb8a0f7
* Auto with zarith essaye Abstract Omega sur un but FalseGravatar filliatr2003-01-30
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3628 85f007b7-540e-0410-9357-904b9bb8a0f7
* portabiliteGravatar doligez2003-01-21
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3565 85f007b7-540e-0410-9357-904b9bb8a0f7
* patch configure (V Aymeric)Gravatar filliatr2003-01-13
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3496 85f007b7-540e-0410-9357-904b9bb8a0f7
* Option pour compiler une version 'light' des réelsGravatar desmettr2002-11-26
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3299 85f007b7-540e-0410-9357-904b9bb8a0f7
* Intégration des modifs de la branche mowgli :Gravatar herbelin2002-11-05
| | | | | | | | | | | - Simplification de strength qui est maintenant un simple drapeau Local/Global. - Export des catégories de déclarations (Lemma/Theorem/Definition/.../ Axiom/Parameter/..) vers les .vo (nouveau fichier library/decl_kinds.ml). - Export des variables de section initialement associées à une déclaration (nouveau fichier library/dischargedhypsmap.ml). git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3212 85f007b7-540e-0410-9357-904b9bb8a0f7
* Simplification suite MAJ 3.06Gravatar herbelin2002-10-03
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3076 85f007b7-540e-0410-9357-904b9bb8a0f7
* Strengthenning rules for modules + No modules in sectionsGravatar coq2002-08-16
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2969 85f007b7-540e-0410-9357-904b9bb8a0f7
* En attendant la 3.06, remplacement de +camlp4 par CAMLLIB/camlp4Gravatar herbelin2002-08-02
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2958 85f007b7-540e-0410-9357-904b9bb8a0f7
* suppression des ./ dans les noms des librairiesGravatar barras2002-07-24
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2912 85f007b7-540e-0410-9357-904b9bb8a0f7
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-21 03:51:19 +0000