aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/control.ml
Commit message (Expand)AuthorAge
* STM: code restructured to reuse task queue for tacticsGravatar Enrico Tassi2014-08-05
* check_for_interrupt: better (but slower) in threading modeGravatar Enrico Tassi2014-07-10
* Less ocaml warnings.Gravatar Hugo Herbelin2014-06-21
* Timeout implementation for Windows based on threads.Gravatar Pierre-Marie Pédrot2014-06-08
* Moving a Thread.yield in check_interrupt.Gravatar Pierre-Marie Pédrot2014-06-07
* Adding a new Control file centralizing the control options of Coq.Gravatar Pierre-Marie Pédrot2014-06-07