| Age | Commit message (Expand) | Author |
|---|---|---|
| 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 |