Commit message (Expand) | Author | Age | |
---|---|---|---|
* | coqide: bug highlight corrige | 2003-04-10 | |
* | coqide: corrections pour utf8 de coq. highlight synchrone=repare le bug autor... | 2003-03-07 | |
* | CoqIDE: copy/paste | 2003-03-03 | |
* | IDE:coloration | 2003-03-03 | |
* | coqide updates: copy/paste enhanced. Optimizing coqide on very large inputs. ... | 2003-02-27 | |
* | CoqIDE: robustesse / multi-buffers / menus / ... (utilisable) | 2003-02-21 | |
* | Undo dans Coq IDE | 2003-02-11 | |
* | interface GTK2 experimentale | 2003-02-04 |