aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2005-11-10majcoq
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7553 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-11-10windows installnarboux
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7552 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-11-10ajout de l'entree dans le menunarboux
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7551 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-11-09majcoq
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7549 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-11-09typonarboux
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7548 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-11-09ajout installer windowsnarboux
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7547 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-11-09ajout splashscreennarboux
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7546 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-11-09fix pour install windowsnarboux
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7545 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-11-09ajout splash screennarboux
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7544 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-11-08majcoq
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7542 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-11-08majcoq
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7541 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-11-08set homenarboux
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7540 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-11-08installer windowsnarboux
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7539 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-11-08Nettoyage suite à la détection par défaut des variables inutilisées par ↵herbelin
ocaml 3.09 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7538 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-11-08generation auto des .batnarboux
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7537 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-11-08Nettoyage suite nouveaux avertissements Y et Z de ocaml 3.09herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7536 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-11-08Nettoyage suite nouvel avertissement Z de ocaml 3.09herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7535 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-11-08uninstall oknarboux
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7534 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-11-08un peu mieux mais pas encore canarboux
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7533 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-11-08- debugging og "Show Intros": no line breaking + fresh idscoq
- added the command "Show Match t" which prints a typical "match...with" for type t. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7532 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-11-07majcoq
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7530 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-11-07majcoq
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7529 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-11-07Modifications in the .depend files for the contrib/recdef directorybertot
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7528 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-11-07Adds tools to help in defining new general recursive functionsbertot
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7527 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-11-06majcoq
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7524 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-11-06coq iconnarboux
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7523 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-11-06installer windows travail en coursnarboux
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7522 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-11-05majcoq
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7520 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-11-05option -w y finalement pas admise par ocamlc <= 3.08.2herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7519 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-11-05scprit for windows install programnarboux
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7517 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-11-04majcoq
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7515 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
2005-11-04Passage option -w à ocamlherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7513 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-11-04Conformité au principe du nouveau warning X de ocaml 3.09herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7512 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-11-04Confusion message erreur détectée par nouveau warning X de ocaml 3.09herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7509 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-11-04Confusion assert/error détectée par nouveau warning X de ocaml 3.09herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7508 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-11-04Point-virgule manquant ligne 914 détecté par nouveau warning X de ocaml 3.09herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7503 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-11-03majcoq
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7499 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-11-03*** empty log message ***mohring
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7498 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-11-03deplacement params_indmohring
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7497 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-11-02majcoq
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7495 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-11-02majcoq
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7494 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-11-02Types inductifs parametriquesmohring
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7493 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-11-02Test reproductibilité du bug #1031herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7491 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-11-02Correction bug invert_names (cf bug #1031)herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7490 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-11-02Ajout tests interactifsherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7489 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-11-01majcoq
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7487 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-11-01Interactive test of Backherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7486 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-11-01Correction bug #1030 (conséquence du commit 1.84 sur le discharge: ↵herbelin
add_frozen_state était passé à la trappe) git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7485 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-10-31majcoq
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7483 85f007b7-540e-0410-9357-904b9bb8a0f7
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-27 14:51:18 +0000