aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/coqOps.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
* Fix bug #4698: CoqIDE error dialogs piling up when coqtop dies.Gravatar Pierre-Marie Pédrot2016-06-27
* Update copyright headers.Gravatar Maxime Dénès2016-01-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
* STM + CoqIDE: stop_worker message and UIGravatar Enrico Tassi2014-01-30
* CoqIDE: display in the errors window also the slaves statusGravatar gareuselesinge2013-10-22
* CoqIDE: new async error reporting window and slaves statusGravatar gareuselesinge2013-09-13
* CoqIDE: show number of proofs being checked in backgroundGravatar gareuselesinge2013-09-12
* Automatic backtracking if locked zone is editedGravatar gareuselesinge2013-08-11
* Coqide ported to STMGravatar gareuselesinge2013-08-08
* Coqide: new feedback mechanism for structured contentGravatar gareuselesinge2013-04-25
* Uniformization of Coq tasksGravatar ppedrot2013-01-26
* 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 15:05:35 +0000