aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Collapse)AuthorAge
...
* Modification pour passage p-automatesGravatar mohring2001-05-15
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1753 85f007b7-540e-0410-9357-904b9bb8a0f7
* Correction bug predicat du Cases (suite)Gravatar herbelin2001-05-15
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1752 85f007b7-540e-0410-9357-904b9bb8a0f7
* mise en place extraction haskellGravatar filliatr2001-05-14
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1751 85f007b7-540e-0410-9357-904b9bb8a0f7
* réparation Ring (simplifications)Gravatar filliatr2001-05-14
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1750 85f007b7-540e-0410-9357-904b9bb8a0f7
* Bug propagation du predicat des CasesGravatar herbelin2001-05-12
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1749 85f007b7-540e-0410-9357-904b9bb8a0f7
* Oubli d'hypotheses pour faire fonctionner les exemplesGravatar herbelin2001-05-12
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1748 85f007b7-540e-0410-9357-904b9bb8a0f7
* Oubli d'hypotheses pour faire fonctionner les exemplesGravatar herbelin2001-05-12
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1747 85f007b7-540e-0410-9357-904b9bb8a0f7
* application patch ClaudioGravatar filliatr2001-05-11
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1746 85f007b7-540e-0410-9357-904b9bb8a0f7
* bug castGravatar letouzey2001-05-11
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1745 85f007b7-540e-0410-9357-904b9bb8a0f7
* m.a.j. PROBLEMES/TODOGravatar letouzey2001-05-11
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1744 85f007b7-540e-0410-9357-904b9bb8a0f7
* construct_reference regarde d'abord dans le contexte local, puis les globauxGravatar filliatr2001-05-11
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1743 85f007b7-540e-0410-9357-904b9bb8a0f7
* exemples MagicGravatar letouzey2001-05-10
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1742 85f007b7-540e-0410-9357-904b9bb8a0f7
* message 'is defined' seulement en mode verboseGravatar filliatr2001-05-10
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1741 85f007b7-540e-0410-9357-904b9bb8a0f7
* retouche de extract_inductive_declarationGravatar letouzey2001-05-10
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1740 85f007b7-540e-0410-9357-904b9bb8a0f7
* ajout d'un afficher de contexte et d'une fonction constbody_of_stringGravatar letouzey2001-05-10
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1739 85f007b7-540e-0410-9357-904b9bb8a0f7
* Bug lift de la contrainte au passage du let (bug rapporte par S. Boulme)Gravatar herbelin2001-05-10
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1738 85f007b7-540e-0410-9357-904b9bb8a0f7
* nettoyage extractionGravatar filliatr2001-05-09
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1737 85f007b7-540e-0410-9357-904b9bb8a0f7
* cleanup + comments, toujoursGravatar letouzey2001-05-09
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1736 85f007b7-540e-0410-9357-904b9bb8a0f7
* ex d'utilisation de fourier avec fieldGravatar mayero2001-05-07
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1735 85f007b7-540e-0410-9357-904b9bb8a0f7
* integration de field a fourierGravatar mayero2001-05-07
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1734 85f007b7-540e-0410-9357-904b9bb8a0f7
* quelques bug reports mineursGravatar barras2001-05-07
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1733 85f007b7-540e-0410-9357-904b9bb8a0f7
* commentairesGravatar letouzey2001-05-04
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1732 85f007b7-540e-0410-9357-904b9bb8a0f7
* Changement de la structure des points fixesGravatar barras2001-05-03
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1731 85f007b7-540e-0410-9357-904b9bb8a0f7
* commentaires sur renommages des var dans extract_typeGravatar letouzey2001-05-02
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1730 85f007b7-540e-0410-9357-904b9bb8a0f7
* cleanup, commentsGravatar letouzey2001-04-30
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1729 85f007b7-540e-0410-9357-904b9bb8a0f7
* ocamlwebGravatar filliatr2001-04-30
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1728 85f007b7-540e-0410-9357-904b9bb8a0f7
* commentaires mlutil + binders_fold en coursGravatar letouzey2001-04-30
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1727 85f007b7-540e-0410-9357-904b9bb8a0f7
* ajout pour le cdromGravatar mayero2001-04-25
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1726 85f007b7-540e-0410-9357-904b9bb8a0f7
* Notes pour la version WindowsGravatar delahaye2001-04-25
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1724 85f007b7-540e-0410-9357-904b9bb8a0f7
* *** empty log message ***Gravatar courant2001-04-25
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1723 85f007b7-540e-0410-9357-904b9bb8a0f7
* *** empty log message ***Gravatar courant2001-04-25
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1722 85f007b7-540e-0410-9357-904b9bb8a0f7
* *** empty log message ***Gravatar courant2001-04-25
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1721 85f007b7-540e-0410-9357-904b9bb8a0f7
* ligne vide lors de l'affichage des messages d'erreur a toplevel entreGravatar barras2001-04-25
| | | | | | | 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
* message d'erreur pour rattrapper l'anomalie avec SQUASHGravatar barras2001-04-25
| | | | | | | Check {True}. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1719 85f007b7-540e-0410-9357-904b9bb8a0f7
* make -j world -> make world en raison de bug ocamlc/ocamloptGravatar courant2001-04-25
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1718 85f007b7-540e-0410-9357-904b9bb8a0f7
* man pages for coq-interface and parserGravatar courant2001-04-25
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1717 85f007b7-540e-0410-9357-904b9bb8a0f7
* Ajout pages de man coq_makefile et coqmktopGravatar courant2001-04-25
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1716 85f007b7-540e-0410-9357-904b9bb8a0f7
* modif pour RPM et DebianGravatar courant2001-04-25
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1715 85f007b7-540e-0410-9357-904b9bb8a0f7
* modif rpmGravatar courant2001-04-25
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1713 85f007b7-540e-0410-9357-904b9bb8a0f7
* make reals prend en compte tous les .vo de theories/RealsGravatar filliatr2001-04-25
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1712 85f007b7-540e-0410-9357-904b9bb8a0f7
* coqwebGravatar filliatr2001-04-25
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1711 85f007b7-540e-0410-9357-904b9bb8a0f7
* - Ajout pages de man pour coqc, coqtop, coqtop.opt et coqtop.byteGravatar courant2001-04-25
| | | | | | | | | - 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
* Amelioration message args constructeurGravatar herbelin2001-04-25
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1709 85f007b7-540e-0410-9357-904b9bb8a0f7
* Bug perte d'alias avec type dependentsGravatar herbelin2001-04-25
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1708 85f007b7-540e-0410-9357-904b9bb8a0f7
* Amelioration affichageGravatar herbelin2001-04-25
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1707 85f007b7-540e-0410-9357-904b9bb8a0f7
* MAJGravatar herbelin2001-04-25
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1706 85f007b7-540e-0410-9357-904b9bb8a0f7
* MAJGravatar herbelin2001-04-25
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1705 85f007b7-540e-0410-9357-904b9bb8a0f7
* SearchIsos n'a pas encore ete porteGravatar delahaye2001-04-24
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1704 85f007b7-540e-0410-9357-904b9bb8a0f7
* Messages d'erreur CasesGravatar herbelin2001-04-24
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1703 85f007b7-540e-0410-9357-904b9bb8a0f7
* correction nomGravatar mayero2001-04-24
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1702 85f007b7-540e-0410-9357-904b9bb8a0f7
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-18 09:17:59 +0000