coq/distrib/debian/coq.emacsen-startup, branch master The formal proof system Suppression du répertoire distrib: il fait désormais partie du projet coq-dev-tools sur GForge 2006-06-09T16:59:42+00:00 notin 2006-06-09T16:59:42+00:00 654133b47df896e4ca074502aa5dcf74f8beac30 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8943 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8943 85f007b7-540e-0410-9357-904b9bb8a0f7
modif rpm 2001-04-25T11:02:14+00:00 courant 2001-04-25T11:02:14+00:00 4e3b6db89c4223c3563ed7fc7f92f78a95c99283 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1713 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1713 85f007b7-540e-0410-9357-904b9bb8a0f7
- Ajout pages de man pour coqc, coqtop, coqtop.opt et coqtop.byte 2001-04-25T07:35:06+00:00 courant 2001-04-25T07:35:06+00:00 b002b817ce305be3ba753dc1634a01b008b243bd - 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 
- 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
ajout necessaire pour paquet debian 2001-04-24T15:07:41+00:00 courant 2001-04-24T15:07:41+00:00 816ae8c64624eee082a54c04b1f4e72e3426d265 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1688 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1688 85f007b7-540e-0410-9357-904b9bb8a0f7