Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Update headers following #6543. | 2018-02-27 | |
* | Bump year in headers. | 2017-07-04 | |
* | Fix omitted labels in function calls | 2017-04-27 | |
* | Avoid refreshing the segment widget each time a sentence is added. | 2016-06-02 | |
* | Merge branch 'v8.5' | 2016-02-21 | |
|\ | |||
| * | Fixing bug #4540: CoqIDE bottom progress bar does not update. | 2016-02-20 | |
* | | Merge branch 'v8.5' | 2016-01-21 | |
|\| | |||
| * | Update copyright headers. | 2016-01-20 | |
* | | Switching to an event-based mechanism for CoqIDE preferences. | 2015-08-31 | |
|/ | |||
* | Made the CoqIDE progress gutter clickable. | 2015-01-29 | |
* | Update headers. | 2015-01-12 | |
* | Implementing a segment-viewer in CoqIDE. | 2015-01-05 |