aboutsummaryrefslogtreecommitdiffhomepage
path: root/tools
Commit message (Collapse)AuthorAge
* coq_makefile utilise maintenant coqdocGravatar filliatr2002-06-18
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2793 85f007b7-540e-0410-9357-904b9bb8a0f7
* Ajout des -I contribGravatar herbelin2002-05-30
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2738 85f007b7-540e-0410-9357-904b9bb8a0f7
* Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et ↵Gravatar herbelin2002-05-29
| | | | | | commandes vernaculaires (cf dev/changements.txt pour plus de précisions) git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2734 85f007b7-540e-0410-9357-904b9bb8a0f7
* coq-inferior, by Marco MaggesiGravatar filliatr2002-04-15
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2644 85f007b7-540e-0410-9357-904b9bb8a0f7
* meilleure gestion du point terminalGravatar filliatr2002-04-04
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2611 85f007b7-540e-0410-9357-904b9bb8a0f7
* bootstrap consistent avec les options de la ligne de commandeGravatar filliatr2002-02-15
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2478 85f007b7-540e-0410-9357-904b9bb8a0f7
* reparation du make depend et du .dependGravatar letouzey2001-12-19
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2334 85f007b7-540e-0410-9357-904b9bb8a0f7
* Encapsulage des '<' et '>' pour éviter le regroupement '«'Gravatar herbelin2001-10-02
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2092 85f007b7-540e-0410-9357-904b9bb8a0f7
* la cible all était incomplèteGravatar filliatr2001-09-19
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2003 85f007b7-540e-0410-9357-904b9bb8a0f7
* make install dans coq_makefile et repertoire associe user-contrib ajoute au ↵Gravatar filliatr2001-09-19
| | | | | | load path au demarrage git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1999 85f007b7-540e-0410-9357-904b9bb8a0f7
* prise en compte de Load par coqdepGravatar filliatr2001-08-31
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1918 85f007b7-540e-0410-9357-904b9bb8a0f7
* "make clean" nettoie les .g all.ps all-gal.ps et les fichiers HTMLGravatar filliatr2001-07-17
| | | | | | | générés à partir des .v git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1856 85f007b7-540e-0410-9357-904b9bb8a0f7
* all.g.ps -> all-gal.psGravatar filliatr2001-07-16
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1855 85f007b7-540e-0410-9357-904b9bb8a0f7
* compat -sort et -suffixGravatar filliatr2001-07-16
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1854 85f007b7-540e-0410-9357-904b9bb8a0f7
* cibles all.ps et all-gal.ps (utilisation de coqweb)Gravatar filliatr2001-07-16
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1853 85f007b7-540e-0410-9357-904b9bb8a0f7
* utilisation de printf (simplif)Gravatar filliatr2001-07-16
| | | | | | | option -sort pour trier les .v selon les dépendances git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1852 85f007b7-540e-0410-9357-904b9bb8a0f7
* plus besoin de separer les ?Gravatar barras2001-06-13
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1786 85f007b7-540e-0410-9357-904b9bb8a0f7
* Chgt de MAKE= ...Gravatar letouzey2001-05-29
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1771 85f007b7-540e-0410-9357-904b9bb8a0f7
* option -byteGravatar filliatr2001-05-28
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1769 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
* - 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
* patch Claudio pour coq_makefileGravatar filliatr2001-04-23
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1660 85f007b7-540e-0410-9357-904b9bb8a0f7
* Hints.... added next to Hint....Gravatar coq2001-04-20
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1646 85f007b7-540e-0410-9357-904b9bb8a0f7
* support option -R pour coqdepGravatar filliatr2001-04-20
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1640 85f007b7-540e-0410-9357-904b9bb8a0f7
* *** empty log message ***Gravatar courant2001-04-16
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1598 85f007b7-540e-0410-9357-904b9bb8a0f7
* bug Print Proof; usage coqtop/coqcGravatar filliatr2001-04-06
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1552 85f007b7-540e-0410-9357-904b9bb8a0f7
* ajout de coq_example# dans coq-texGravatar werner2001-04-04
| | | | | | | BW git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1548 85f007b7-540e-0410-9357-904b9bb8a0f7
* entetesGravatar filliatr2001-03-15
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1469 85f007b7-540e-0410-9357-904b9bb8a0f7
* modifs mineuresGravatar filliatr2001-02-08
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1354 85f007b7-540e-0410-9357-904b9bb8a0f7
* backtrack sur le lexeur de la V6Gravatar filliatr2001-01-30
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1289 85f007b7-540e-0410-9357-904b9bb8a0f7
* Prise en compte des ??Gravatar herbelin2001-01-03
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1234 85f007b7-540e-0410-9357-904b9bb8a0f7
* MAJGravatar herbelin2000-12-26
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1223 85f007b7-540e-0410-9357-904b9bb8a0f7
* Traducteur automatique de scripts vernacGravatar herbelin2000-12-25
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1198 85f007b7-540e-0410-9357-904b9bb8a0f7
* numarg -> pure_numarg a poursuivreGravatar mohring2000-12-11
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1084 85f007b7-540e-0410-9357-904b9bb8a0f7
* do_Makefile -> coq_makefile pour le bootstrap!Gravatar filliatr2000-11-09
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@835 85f007b7-540e-0410-9357-904b9bb8a0f7
* nouveau load pathGravatar filliatr2000-11-08
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@828 85f007b7-540e-0410-9357-904b9bb8a0f7
* outils (manquent encore les deux filtres)Gravatar filliatr1999-12-11
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@235 85f007b7-540e-0410-9357-904b9bb8a0f7
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-17 01:17:00 +0000