aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/session.mli
Commit message (Expand)AuthorAge
* coqide: queries from the query window are routed there (fix #5684)Gravatar Enrico Tassi2018-03-08
* Update headers following #6543.Gravatar Théo Zimmermann2018-02-27
* Bump year in headers.Gravatar Pierre-Marie Pédrot2017-07-04
* Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-02-21
|\
| * CoqIDE: STOP button also stops workers (fix #4542)Gravatar Enrico Tassi2016-02-19
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-01-21
|\|
| * Update copyright headers.Gravatar Maxime Dénès2016-01-20
* | Using the new preference mechanism for colors in CoqIDE.Gravatar Pierre-Marie Pédrot2015-08-16
|/
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-04 13:11:03 +0000