Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | ameliorations coqide | 2003-12-30 | ||
* | preferences | 2003-12-08 | ||
* | changement menu et toolbar | 2003-12-04 | ||
* | commands renomme en queries, command goto a la place de forward to backwardt o | 2003-11-28 | ||
* | Coqide : les nouveaute d'aout | 2003-09-19 | ||
* | option pour supprimer les menus contextuels sur les buts | 2003-09-03 | ||
* | coqide: load/save file encoding support/ | 2003-05-14 | ||
* | coqide: missing files | 2003-05-07 |