aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2001-05-10Bug lift de la contrainte au passage du let (bug rapporte par S. Boulme)herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1738 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-05-09nettoyage extractionfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1737 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-05-09cleanup + comments, toujoursletouzey
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1736 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-05-07ex d'utilisation de fourier avec fieldmayero
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1735 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-05-07integration de field a fouriermayero
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1734 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-05-07quelques bug reports mineursbarras
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1733 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-05-04commentairesletouzey
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1732 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-05-03Changement de la structure des points fixesbarras
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1731 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-05-02commentaires sur renommages des var dans extract_typeletouzey
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1730 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-30cleanup, commentsletouzey
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1729 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-30ocamlwebfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1728 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-30commentaires mlutil + binders_fold en coursletouzey
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1727 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-25ajout pour le cdrommayero
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1726 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-25Notes pour la version Windowsdelahaye
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1724 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-25*** empty log message ***courant
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1723 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-25*** empty log message ***courant
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1722 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-25*** empty log message ***courant
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1721 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-25ligne vide lors de l'affichage des messages d'erreur a toplevel entrebarras
le source cite et la ligne de ^^^ git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1720 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-25message d'erreur pour rattrapper l'anomalie avec SQUASHbarras
Check {True}. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1719 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-25make -j world -> make world en raison de bug ocamlc/ocamloptcourant
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1718 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-25man pages for coq-interface and parsercourant
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1717 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-25Ajout pages de man coq_makefile et coqmktopcourant
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1716 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-25modif pour RPM et Debiancourant
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1715 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-25modif rpmcourant
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1713 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-25make reals prend en compte tous les .vo de theories/Realsfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1712 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-25coqwebfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1711 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-25- Ajout pages de man pour coqc, coqtop, coqtop.opt et coqtop.bytecourant
- Deplacement pages de tools/ vers man/ - Modif distrib/Makefile pour Debian - Modif mode emacs pour Debian git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1710 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-25Amelioration message args constructeurherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1709 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-25Bug perte d'alias avec type dependentsherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1708 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-25Amelioration affichageherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1707 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-25MAJherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1706 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-25MAJherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1705 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-24SearchIsos n'a pas encore ete portedelahaye
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1704 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-24Messages d'erreur Casesherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1703 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-24correction nommayero
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1702 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-24Les clauses de Rec doivent prendre des tactic_atom'sdelahaye
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1701 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-24Suppression d'une partie de code commentedelahaye
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1700 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-24Ajout du cas True->A|-Bdelahaye
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1699 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-24interdiction occ positives ET negatives dans Patternwerner
(en fait dans term.ml, fonction subst_occ_gen BW git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1698 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-24Reorganisation pour Ltacdelahaye
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1697 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-24Mise a jour V7mohring
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1696 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-24README avec ref (2)letouzey
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1695 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-24TODO in v.o., test/Makefile moins pire, README avec refletouzey
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1694 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-24Ajout du .dependmohring
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1693 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-24Retire theories/Nummohring
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1692 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-24Retire le repertoire Nummohring
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1691 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-24Correction typosmohring
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1690 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-24ajout d'un fichier READMEletouzey
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1689 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-24ajout necessaire pour paquet debiancourant
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1688 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-24Mise a jour KNOWN-BUGSmohring
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1687 85f007b7-540e-0410-9357-904b9bb8a0f7
generated by cgit v1.2.3 (git 2.25.1) at 2026-06-24 13:53:13 +0000