index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
ide
/
session.mli
Age
Commit message (
Expand
)
Author
2020-06-02
Move CoqIDE to its own folder
Maxime Dénès
2020-03-18
Update headers in the whole code base.
Théo Zimmermann
2019-11-07
Do not rely on the user settings but on the actual window size. (Fixes #10956)
Guillaume Melquiond
2019-06-17
Update ml-style headers to new year.
Théo Zimmermann
2018-03-08
coqide: queries from the query window are routed there (fix #5684)
Enrico Tassi
2018-02-27
Update headers following #6543.
Théo Zimmermann
2017-07-04
Bump year in headers.
Pierre-Marie Pédrot
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
