aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2005-11-17A la demande de Julien Forestletouzey
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7573 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-11-16majcoq
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7571 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-11-15majcoq
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7565 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-11-14majcoq
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7563 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-11-14avoids warnings about unused variablesbertot
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7562 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-11-14adds the the case VernacShow(ShowMatch _) in the pattern-matching construct,bertot
but only maps to an error message. Avoid warnings about unused variables. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7561 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-11-13majcoq
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7559 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-11-12majcoq
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7557 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-11-11majcoq
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7555 85f007b7-540e-0410-9357-904b9bb8a0f7
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-08-14 15:08:08 +0000