aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/.cvsignore
Commit message (Expand)AuthorAge
* table des modules charges (Library.compunit_cache) synchronizee (pour CoqIde ...Gravatar filliatr2003-05-15
* fichier de pref coq IDE en ASCII (ENFIN)Gravatar filliatr2003-04-28
* coqide: preferences support and optimizationsGravatar monate2003-03-03
* ideGravatar monate2003-02-24
* interface GTK2 experimentaleGravatar monate2003-02-04