Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | 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. |