aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/coqOps.mli
Commit message (Expand)AuthorAge
* 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