Sign in
Join now
coq
stepbrobd.com
/
Star
Starred
Star
1
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
forked from coq/coq
Star
Starred
Star
1
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
Overview
Overview
Issues
Issues
Pulls
Pulls
Pipelines
Pipelines
coq
/
config
5 files
at
master
Gaëtan Gilbert
·
Remove compat coq-core libraries (not executables)
·
5mo ago
ba476414
coq_byte_config.mli
Fix Drop on ocaml >= 5.3
1y ago
coq_config.mli
Rename wwwstdlib -> wwwcorelib etc, add --corelib_url arg for rocqdoc
9mo ago
dune
Remove compat coq-core libraries (not executables)
5mo ago
list_plugins.ml
Enable warning 70 (missing mli), add mli files
3y ago
list_plugins.mli
Enable warning 70 (missing mli), add mli files
3y ago
