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