aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/session.mli
Commit message (Expand)AuthorAge
* Allowing proof view to be detached in CoqIDE.Gravatar Pierre-Marie Pédrot2014-04-07
* CoqIDE: Errors page gets red if not emptyGravatar Enrico Tassi2014-03-12
* CoqIDE: detachable message/error/jobs panesGravatar Enrico Tassi2014-03-12
* Move error and job display to the lower right pane.Gravatar Guillaume Melquiond2014-03-04
* Coqide: cleaner Coq.PrintOpt and session creationGravatar letouzey2012-12-19
* Coqide: some more refactoring to lighten coqide.mlGravatar letouzey2012-12-10