| Age | Commit message (Expand) | Author |
|---|---|---|
| 2016-02-21 | Merge branch 'v8.5' | Pierre-Marie Pédrot |
| 2016-02-19 | CoqIDE: STOP button also stops workers (fix #4542) | Enrico Tassi |
| 2016-01-21 | Merge branch 'v8.5' | Pierre-Marie Pédrot |
| 2016-01-20 | Update copyright headers. | Maxime Dénès |
| 2015-08-16 | Using the new preference mechanism for colors in CoqIDE. | Pierre-Marie Pédrot |
| 2015-02-20 | Fixing bug #4073. | Pierre-Marie Pédrot |
| 2015-01-12 | Update headers. | Maxime Dénès |
| 2015-01-05 | Implementing a segment-viewer in CoqIDE. | Pierre-Marie Pédrot |
| 2014-08-05 | STM: code restructured to reuse task queue for tactics | Enrico Tassi |
| 2014-04-07 | Allowing proof view to be detached in CoqIDE. | Pierre-Marie Pédrot |
| 2014-03-12 | CoqIDE: Errors page gets red if not empty | Enrico Tassi |
| 2014-03-12 | CoqIDE: detachable message/error/jobs panes | Enrico Tassi |
| 2014-03-04 | Move error and job display to the lower right pane. | Guillaume Melquiond |
| 2012-12-19 | Coqide: cleaner Coq.PrintOpt and session creation | letouzey |
| 2012-12-10 | Coqide: some more refactoring to lighten coqide.ml | letouzey |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |