Commit message (Collapse) | 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 | |
| | | | | This brings a 10x speedup for going at the end of large .v files. | ||
* | 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 | |
|/ | | | | | There is no remaining hook in the preferences. In particular, the refresh_editor_hook is gone. | ||
* | Made the CoqIDE progress gutter clickable. | 2015-01-29 | |
| | |||
* | Update headers. | 2015-01-12 | |
| | |||
* | Implementing a segment-viewer in CoqIDE. | 2015-01-05 | |
This allows a nifty display of the current state of the document through a dedicated progress bar. Also closes bug #3764. |