| Commit message (Expand) | Author | Age | ||
|---|---|---|---|---|
| ... | ||||
| * | coqide: toolbar/autosave |  monate | 2003-05-07 | |
| * | coqide: locale iso-8859-1 par defaut si probleme. Interdiction des lemmes loc... | monate | 2003-03-26 | |
| * | coqide: maj commandes | monate | 2003-03-14 | |
| * | IDE: maj | monate | 2003-03-04 | |
| * | *** empty log message *** | monate | 2003-02-24 | |
| * | Undo dans Coq IDE |  filliatr | 2003-02-11 | |
| * | interface GTK2 experimentale | monate | 2003-02-04 | |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |