Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Update headers following #6543. | 2018-02-27 | |
* | Bump year in headers. | 2017-07-04 | |
* | Update copyright headers. | 2016-01-20 | |
* | Update headers. | 2015-01-12 | |
* | CoqIDE: Including autocompletion in word proposals | 2013-02-20 | |
* | Coqide: some more refactoring to lighten coqide.ml | 2012-12-10 | |
* | Coqide: get rid of threads, use gtk asynchronous i/o instead | 2012-12-08 | |
* | Added a comment/uncomment command to CoqIDE | 2012-09-06 | |
* | Updating headers. | 2012-08-08 | |
* | Added the show_margin_right option to CoqIDE | 2012-06-26 | |
* | Added semantic completion in CoqIDE. (Should also add an option for that...) | 2012-05-13 | |
* | Rewritten the autocompletion mechanism of CoqIDE, and stuffed it | 2012-05-08 | |
* | Renamed Undo to conform to CoqIDE widget naming convention. In addition, | 2012-05-05 |