aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Collapse)AuthorAge
* *** 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
* Les clauses de Rec doivent prendre des tactic_atom'sGravatar delahaye2001-04-24
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1701 85f007b7-540e-0410-9357-904b9bb8a0f7
* Suppression d'une partie de code commenteGravatar delahaye2001-04-24
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1700 85f007b7-540e-0410-9357-904b9bb8a0f7
* Ajout du cas True->A|-BGravatar delahaye2001-04-24
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1699 85f007b7-540e-0410-9357-904b9bb8a0f7
* interdiction occ positives ET negatives dans PatternGravatar werner2001-04-24
| | | | | | | | (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
* Reorganisation pour LtacGravatar delahaye2001-04-24
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1697 85f007b7-540e-0410-9357-904b9bb8a0f7
* Mise a jour V7Gravatar mohring2001-04-24
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1696 85f007b7-540e-0410-9357-904b9bb8a0f7
* README avec ref (2)Gravatar letouzey2001-04-24
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1695 85f007b7-540e-0410-9357-904b9bb8a0f7
* TODO in v.o., test/Makefile moins pire, README avec refGravatar letouzey2001-04-24
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1694 85f007b7-540e-0410-9357-904b9bb8a0f7
* Ajout du .dependGravatar mohring2001-04-24
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1693 85f007b7-540e-0410-9357-904b9bb8a0f7
* Retire theories/NumGravatar mohring2001-04-24
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1692 85f007b7-540e-0410-9357-904b9bb8a0f7
* Retire le repertoire NumGravatar mohring2001-04-24
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1691 85f007b7-540e-0410-9357-904b9bb8a0f7
* Correction typosGravatar mohring2001-04-24
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1690 85f007b7-540e-0410-9357-904b9bb8a0f7
* ajout d'un fichier READMEGravatar letouzey2001-04-24
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1689 85f007b7-540e-0410-9357-904b9bb8a0f7
* ajout necessaire pour paquet debianGravatar courant2001-04-24
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1688 85f007b7-540e-0410-9357-904b9bb8a0f7
* Mise a jour KNOWN-BUGSGravatar mohring2001-04-24
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1687 85f007b7-540e-0410-9357-904b9bb8a0f7
* Ajout de Rseries et Rtrigo_funGravatar mayero2001-04-24
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1686 85f007b7-540e-0410-9357-904b9bb8a0f7
* Fin d'optimisation (cas modules) + warning pour coind & ocamlGravatar letouzey2001-04-24
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1685 85f007b7-540e-0410-9357-904b9bb8a0f7
* (Again) Little corrections for Library docGravatar coq2001-04-24
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1684 85f007b7-540e-0410-9357-904b9bb8a0f7
* cofix_warning dans les parametres d'extractionGravatar filliatr2001-04-24
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1683 85f007b7-540e-0410-9357-904b9bb8a0f7
* MAJ de graphes de dependance pour la doc des sourcesGravatar coq2001-04-24
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1682 85f007b7-540e-0410-9357-904b9bb8a0f7
* suffixes $(EXE) pour bin/parser; quelques binaires oubliés dans make cleanGravatar filliatr2001-04-24
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1681 85f007b7-540e-0410-9357-904b9bb8a0f7
* bin/coqtop est un lien vers bin/coqtop.$(BEST)Gravatar filliatr2001-04-24
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1680 85f007b7-540e-0410-9357-904b9bb8a0f7
* adding binary files that are needed for the graphical user-interface pcoqGravatar bertot2001-04-24
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1679 85f007b7-540e-0410-9357-904b9bb8a0f7
* Removing a debug message for the search command.Gravatar bertot2001-04-24
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1678 85f007b7-540e-0410-9357-904b9bb8a0f7
* Ajout de syntaxe pour LtacGravatar delahaye2001-04-23
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1677 85f007b7-540e-0410-9357-904b9bb8a0f7
* Ajout RealsGravatar mayero2001-04-23
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1676 85f007b7-540e-0410-9357-904b9bb8a0f7
* Ajouts RealsGravatar mayero2001-04-23
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1675 85f007b7-540e-0410-9357-904b9bb8a0f7
* (One more) Minor layout adjustments for Library docGravatar coq2001-04-23
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1674 85f007b7-540e-0410-9357-904b9bb8a0f7
* forme codeGravatar filliatr2001-04-23
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1673 85f007b7-540e-0410-9357-904b9bb8a0f7
* Minor layout adjustments for Library docGravatar coq2001-04-23
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1672 85f007b7-540e-0410-9357-904b9bb8a0f7
* mise a jourGravatar letouzey2001-04-23
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1671 85f007b7-540e-0410-9357-904b9bb8a0f7
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-09 21:17:48 +0000