Commit message (Expand) | Author | Age | |
---|---|---|---|
* | configure pour CoqIde repare | monate | 2003-05-26 |
* | coqide: load/save file encoding support/ | monate | 2003-05-14 |
* | CoqIde: AccelMap support | monate | 2003-05-12 |
* | coqide: toolbar/autosave | monate | 2003-05-07 |
* | coqide: search forward | monate | 2003-04-28 |
* | *** empty log message *** | monate | 2003-03-14 |
* | coqide: maj des bindings | monate | 2003-03-10 |
* | CoqIDE: robustesse / multi-buffers / menus / ... (utilisable) | filliatr | 2003-02-21 |