Files

config

Update headers in the whole code base.

Mar 18, 2020

a99776e · Mar 18, 2020

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

Name		Name	Last commit message	Last commit date
parent directory ..
config.mllib		config.mllib	[build] Refactoring to config lib and ocamldebug tweaks.	Oct 22, 2018
coq_config.mli		coq_config.mli	Update headers in the whole code base.	Mar 18, 2020
dune		dune	[dune] Fix bug in auto-configure deps.	Mar 4, 2020