index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
toplevel
/
workerLoop.ml
Age
Commit message (
Expand
)
Author
2021-01-27
[sysinit] move initialization code from coqtop to here
Enrico Tassi
2021-01-27
[sysinit] new component for system initialization
Enrico Tassi
2020-12-03
[coqide] fix procedure to parse arguments
Enrico Tassi
2020-03-18
Update headers in the whole code base.
Théo Zimmermann
2019-07-08
Usage: bypassing a useless detour via a reference.
Hugo Herbelin
2019-07-08
An even more uniform treatment of the -help option across executables.
Hugo Herbelin
2019-07-08
Some common points between coqc and other coq binaries.
Hugo Herbelin
2019-07-08
Passing command-line option async_proofs_worker_priority functionally.
Hugo Herbelin
2019-07-08
An attempt to reorganize further coqtop initialization into semantic units.
Hugo Herbelin
2019-07-08
Adding methods help and parse_extra to custom toplevels data.
Hugo Herbelin
2019-06-17
Update ml-style headers to new year.
Théo Zimmermann
2019-02-01
[toplevel] Split interactive toplevel and compiler binaries.
Emilio Jesus Gallego Arias
2018-11-24
[toplevel] Allow to specify default options.
Emilio Jesus Gallego Arias
2018-05-21
[stm] Make toplevels standalone executables.
Emilio Jesus Gallego Arias
