index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
lib
/
control.ml
Age
Commit message (
Expand
)
Author
2018-05-07
[lib] Re-add `set_timeout` to help users workaround #7408
Emilio Jesus Gallego Arias
2018-02-27
Update headers following #6543.
Théo Zimmermann
2017-12-11
[flags] [stm] Reorganize flags.
Emilio Jesus Gallego Arias
2017-11-24
[lib] Generalize Control.timeout type.
Emilio Jesus Gallego Arias
2017-07-21
PMP sold us a Timeout on Windows with 1s resolution. Trying to improve it.
Maxime Dénès
2017-07-04
Bump year in headers.
Pierre-Marie Pédrot
2016-01-20
Update copyright headers.
Maxime Dénès
2015-01-12
Update headers.
Maxime Dénès
2014-12-16
Getting rid of Exninfo hacks.
Pierre-Marie Pédrot
2014-08-05
STM: code restructured to reuse task queue for tactics
Enrico Tassi
2014-07-10
check_for_interrupt: better (but slower) in threading mode
Enrico Tassi
2014-06-21
Less ocaml warnings.
Hugo Herbelin
2014-06-08
Timeout implementation for Windows based on threads.
Pierre-Marie Pédrot
2014-06-07
Moving a Thread.yield in check_interrupt.
Pierre-Marie Pédrot
2014-06-07
Adding a new Control file centralizing the control options of Coq.
Pierre-Marie Pédrot
