aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/control.ml
Commit message (Expand)AuthorAge
* [lib] Re-add `set_timeout` to help users workaround #7408Gravatar Emilio Jesus Gallego Arias2018-05-07
* Update headers following #6543.Gravatar Théo Zimmermann2018-02-27
* [flags] [stm] Reorganize flags.Gravatar Emilio Jesus Gallego Arias2017-12-11
* [lib] Generalize Control.timeout type.Gravatar Emilio Jesus Gallego Arias2017-11-24
* PMP sold us a Timeout on Windows with 1s resolution. Trying to improve it.Gravatar Maxime Dénès2017-07-21
* Bump year in headers.Gravatar Pierre-Marie Pédrot2017-07-04
* Update copyright headers.Gravatar Maxime Dénès2016-01-20
* Update headers.Gravatar Maxime Dénès2015-01-12
* Getting rid of Exninfo hacks.Gravatar Pierre-Marie Pédrot2014-12-16
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-04 15:09:48 +0000