aboutsummaryrefslogtreecommitdiff
path: root/ide/.cvsignore
AgeCommit message (Collapse)Author
2006-04-28Suppression des fichiers .cvsignore, rendus obsolètes par le systèmes des ↵notin
'properties' de Subversion git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8758 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-11-18Détection de la version de lablgtk (type GText.view)herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7581 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-11-18.v8herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4943 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-05-15table des modules charges (Library.compunit_cache) synchronizee (pour CoqIde ↵filliatr
notamment) git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4025 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-04-28fichier de pref coq IDE en ASCII (ENFIN)filliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3963 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-03-03coqide: preferences support and optimizationsmonate
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3724 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-02-24idemonate
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3692 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-02-04interface GTK2 experimentalemonate
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3660 85f007b7-540e-0410-9357-904b9bb8a0f7
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-10 02:33:44 +0000