Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Nouvelle en-tĂȘte | 2004-07-16 | |
* | ide: silent behavior better, save icon, -byte works | 2004-03-03 | |
* | ameliorations coqide | 2003-12-30 | |
* | commandes de coqide | 2003-12-09 | |
* | 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 : ported to lablgtk2 snapshot of 2003/07/07 | 2003-07-07 | |
* | *** empty log message *** | 2003-06-18 | |
* | command_windows fix | 2003-05-20 | |
* | coqide: toolbar/autosave | 2003-05-07 | |
* | set_focus | 2003-04-10 | |
* | coqide: command window maj. | 2003-03-28 | |
* | coqide: maj commandes | 2003-03-14 | |
* | coqide: fenetre de cmmandes . undo correct | 2003-03-06 |