aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/session.mli
Commit message (Expand)AuthorAge
* Fixing bug #4073.Gravatar Pierre-Marie Pédrot2015-02-20
* Update headers.Gravatar Maxime Dénès2015-01-12
* Implementing a segment-viewer in CoqIDE.Gravatar Pierre-Marie Pédrot2015-01-05
* STM: code restructured to reuse task queue for tacticsGravatar Enrico Tassi2014-08-05
* 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