aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2005-11-23bug de coqide sous windows (bad file descriptor)barras
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7603 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-11-23bug #909: Top n'est cree que si le contexte est videbarras
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7602 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-11-22majcoq
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7599 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-11-21majcoq
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7597 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-11-21Correction bug dé-globalisation syntactic def (cf coq-club 20/11/05)herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7596 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-11-20majcoq
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7593 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-11-19majcoq
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7591 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-11-19Correction de la correction du test sur le nombre de parametres d'une projectionherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7590 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-11-18majcoq
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7587 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-11-18majcoq
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7586 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-11-18petites corrections + contournement bug projectionsbarras
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7585 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-11-18*** empty log message ***barras
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7584 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-11-18commited new ringbarras
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7583 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-11-18commited first version of new ringbarras
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7582 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@7581 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-17majcoq
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7577 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-11-17majcoq
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7576 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-11-17implement support for drgeocamlnarboux
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7575 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-11-17merci les warnings de 3.09 ...letouzey
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7574 85f007b7-540e-0410-9357-904b9bb8a0f7
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-24 22:40:22 +0000