aboutsummaryrefslogtreecommitdiff
path: root/ide/.cvsignore
AgeCommit message (Expand)Author
2005-11-18Détection de la version de lablgtk (type GText.view)herbelin
2003-11-18.v8herbelin
2003-05-15table des modules charges (Library.compunit_cache) synchronizee (pour CoqIde ...filliatr
2003-04-28fichier de pref coq IDE en ASCII (ENFIN)filliatr
2003-03-03coqide: preferences support and optimizationsmonate
2003-02-24idemonate
2003-02-04interface GTK2 experimentalemonate