coq/ide/.cvsignore, branch master The formal proof system Suppression des fichiers .cvsignore, rendus obsolètes par le systèmes des 'properties' de Subversion 2006-04-28T10:34:25+00:00 notin 2006-04-28T10:34:25+00:00 11aaf97fa5f773c8a81d12255414cd3f5d189d25 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8758 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8758 85f007b7-540e-0410-9357-904b9bb8a0f7
Détection de la version de lablgtk (type GText.view) 2005-11-18T17:09:22+00:00 herbelin 2005-11-18T17:09:22+00:00 3d8cc578b7840f122e683d55343988248e2b336a git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7581 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7581 85f007b7-540e-0410-9357-904b9bb8a0f7
.v8 2003-11-18T11:28:39+00:00 herbelin 2003-11-18T11:28:39+00:00 9a33fa8f17adab845424b711e8099e743cf140f8 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4943 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4943 85f007b7-540e-0410-9357-904b9bb8a0f7
table des modules charges (Library.compunit_cache) synchronizee (pour CoqIde notamment) 2003-05-15T12:48:07+00:00 filliatr 2003-05-15T12:48:07+00:00 59dbc8ece1989efcf6e60278f8808d0dbce6bab0 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4025 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4025 85f007b7-540e-0410-9357-904b9bb8a0f7
fichier de pref coq IDE en ASCII (ENFIN) 2003-04-28T12:37:34+00:00 filliatr 2003-04-28T12:37:34+00:00 1e21af785964599e0a9443e86c55bedac340a6f9 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3963 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3963 85f007b7-540e-0410-9357-904b9bb8a0f7
coqide: preferences support and optimizations 2003-03-03T08:40:42+00:00 monate 2003-03-03T08:40:42+00:00 19d01ae7c286b3d0f0acee9280e416149264d39f git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3724 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3724 85f007b7-540e-0410-9357-904b9bb8a0f7
ide 2003-02-24T09:40:11+00:00 monate 2003-02-24T09:40:11+00:00 80ce5c6bd6519fa9fc806cb0f8842f258caa158d git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3692 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3692 85f007b7-540e-0410-9357-904b9bb8a0f7
interface GTK2 experimentale 2003-02-04T16:45:50+00:00 monate 2003-02-04T16:45:50+00:00 3fe1d8e42877e07e744911fcd2b5a9c7afe988f6 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3660 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3660 85f007b7-540e-0410-9357-904b9bb8a0f7