Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Complétion déclarations coqide | 2004-11-27 | |
* | qq bugs du highlight de CoqIDE | 2004-10-28 | |
* | Nouvelle en-tête | 2004-07-16 | |
* | highlight | 2004-02-04 | |
* | Check en plus parmi les keywords | 2003-11-03 | |
* | highlighting de Extraction | 2003-09-05 | |
* | coqide: indentation | 2003-06-13 | |
* | coqide: toolbar/autosave | 2003-05-07 | |
* | coqide : line number mode | 2003-04-24 | |
* | 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 |