aboutsummaryrefslogtreecommitdiff
path: root/ide/coqOps.mli
AgeCommit message (Expand)Author
2018-03-08coqide: queries from the query window are routed there (fix #5684)Enrico Tassi
2018-02-27Update headers following #6543.Théo Zimmermann
2017-07-04Bump year in headers.Pierre-Marie Pédrot
2016-06-27Fix bug #4698: CoqIDE error dialogs piling up when coqtop dies.Pierre-Marie Pédrot
2016-01-20Update copyright headers.Maxime Dénès
2015-01-12Update headers.Maxime Dénès
2015-01-05Implementing a segment-viewer in CoqIDE.Pierre-Marie Pédrot
2014-08-05STM: code restructured to reuse task queue for tacticsEnrico Tassi
2014-01-30STM + CoqIDE: stop_worker message and UIEnrico Tassi
2013-10-22CoqIDE: display in the errors window also the slaves statusgareuselesinge
2013-09-13CoqIDE: new async error reporting window and slaves statusgareuselesinge
2013-09-12CoqIDE: show number of proofs being checked in backgroundgareuselesinge
2013-08-11Automatic backtracking if locked zone is editedgareuselesinge
2013-08-08Coqide ported to STMgareuselesinge
2013-04-25Coqide: new feedback mechanism for structured contentgareuselesinge
2013-01-26Uniformization of Coq tasksppedrot
2012-12-19Coqide: cleaner Coq.PrintOpt and session creationletouzey
2012-12-10Coqide: some more refactoring to lighten coqide.mlletouzey
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-05 02:44:12 +0000