coq/distrib/windows, 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
*** empty log message *** 2006-01-05T18:06:22+00:00 barras 2006-01-05T18:06:22+00:00 2f057c53dfb77037f760b435cf864e70923882af git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7803 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7803 85f007b7-540e-0410-9357-904b9bb8a0f7
ajout installer windows 2005-11-09T11:56:16+00:00 narboux 2005-11-09T11:56:16+00:00 de535cc498e4e543ea9fc67d837bae891f645ec7 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7547 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7547 85f007b7-540e-0410-9357-904b9bb8a0f7
ajout splashscreen 2005-11-09T10:48:07+00:00 narboux 2005-11-09T10:48:07+00:00 0f9f9f00794f7a640c3a82f380ce32500232caf3 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7546 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7546 85f007b7-540e-0410-9357-904b9bb8a0f7
ajout splash screen 2005-11-09T10:37:26+00:00 narboux 2005-11-09T10:37:26+00:00 4ef19ea9768473d53080512f80b8769be9a926f9 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7544 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7544 85f007b7-540e-0410-9357-904b9bb8a0f7
set home 2005-11-08T17:55:21+00:00 narboux 2005-11-08T17:55:21+00:00 16b629a975becaa20f1fa5384bbcf2506e0e7dca git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7540 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7540 85f007b7-540e-0410-9357-904b9bb8a0f7
installer windows 2005-11-08T17:36:17+00:00 narboux 2005-11-08T17:36:17+00:00 326ac5fb06807fa0ce7ee28936f73ffe4fcb24a1 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7539 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7539 85f007b7-540e-0410-9357-904b9bb8a0f7
generation auto des .bat 2005-11-08T16:45:24+00:00 narboux 2005-11-08T16:45:24+00:00 8d94b3c7f4c51c5f78e6438b7b3e39f375ce9979 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7537 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7537 85f007b7-540e-0410-9357-904b9bb8a0f7
uninstall ok 2005-11-08T14:45:16+00:00 narboux 2005-11-08T14:45:16+00:00 f1eaf5a1734e9716be089b2c8ebd14c6d2ec7684 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7534 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7534 85f007b7-540e-0410-9357-904b9bb8a0f7
un peu mieux mais pas encore ca 2005-11-08T14:27:07+00:00 narboux 2005-11-08T14:27:07+00:00 e7b510bda246aa4cefc910b7e648600a4d218487 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7533 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7533 85f007b7-540e-0410-9357-904b9bb8a0f7