Files

 master

/

stm

/

Copy path

Directory actions

More options

Directory actions

More options

Latest commit

Zimmi48

Fix options listed in asycTaskQueue.

Apr 2, 2020

efa833d · Apr 2, 2020

History

History

This branch is 13574 commits behind coq/coq:master.

/

stm

/

Top

Folders and files

Name		Name	Last commit message	Last commit date
parent directory ..
asyncTaskQueue.ml		asyncTaskQueue.ml	Fix options listed in asycTaskQueue.	Apr 2, 2020
asyncTaskQueue.mli		asyncTaskQueue.mli	Update headers in the whole code base.	Mar 18, 2020
coqworkmgrApi.ml		coqworkmgrApi.ml	Update headers in the whole code base.	Mar 18, 2020
coqworkmgrApi.mli		coqworkmgrApi.mli	Update headers in the whole code base.	Mar 18, 2020
dag.ml		dag.ml	Update headers in the whole code base.	Mar 18, 2020
dag.mli		dag.mli	Update headers in the whole code base.	Mar 18, 2020
dune		dune	[build] Preliminary support for building Coq with dune.	Sep 5, 2018
proofBlockDelimiter.ml		proofBlockDelimiter.ml	Update headers in the whole code base.	Mar 18, 2020
proofBlockDelimiter.mli		proofBlockDelimiter.mli	Update headers in the whole code base.	Mar 18, 2020
spawned.ml		spawned.ml	Update headers in the whole code base.	Mar 18, 2020
spawned.mli		spawned.mli	Update headers in the whole code base.	Mar 18, 2020
stm.ml		stm.ml	[proof] [stm] Force opaque in close_future_proof	Mar 31, 2020
stm.mli		stm.mli	Update headers in the whole code base.	Mar 18, 2020
stm.mllib		stm.mllib	[stm] Make toplevels standalone executables.	May 21, 2018
tQueue.ml		tQueue.ml	Update headers in the whole code base.	Mar 18, 2020
tQueue.mli		tQueue.mli	Update headers in the whole code base.	Mar 18, 2020
vcs.ml		vcs.ml	Update headers in the whole code base.	Mar 18, 2020
vcs.mli		vcs.mli	Update headers in the whole code base.	Mar 18, 2020
vernac_classifier.ml		vernac_classifier.ml	Make Cumulative, NonCumulative and Private attributes.	Mar 19, 2020
vernac_classifier.mli		vernac_classifier.mli	Update headers in the whole code base.	Mar 18, 2020
vio_checking.ml		vio_checking.ml	Update headers in the whole code base.	Mar 18, 2020
vio_checking.mli		vio_checking.mli	Update headers in the whole code base.	Mar 18, 2020
workerPool.ml		workerPool.ml	Update headers in the whole code base.	Mar 18, 2020
workerPool.mli		workerPool.mli	Update headers in the whole code base.	Mar 18, 2020
View all files