| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | .v8 |  herbelin | 2003-11-18 |
| * | table des modules charges (Library.compunit_cache) synchronizee (pour CoqIde ... |  filliatr | 2003-05-15 |
| * | fichier de pref coq IDE en ASCII (ENFIN) | filliatr | 2003-04-28 |
| * | coqide: preferences support and optimizations |  monate | 2003-03-03 |
| * | ide | monate | 2003-02-24 |
| * | interface GTK2 experimentale | monate | 2003-02-04 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |