boot · coq · Tangled

Sign in Join now

coq stepbrobd.com /

Star Starred Star 1

Something went wrong. Try again.

Watch Watching Watch

forked from coq/coq

Star Starred Star 1

Something went wrong. Try again.

Watch Watching Watch

Overview Overview Issues Issues Pulls Pulls Pipelines Pipelines

coq /boot

9 files

Rodolphe Lepigre · Fix Corelib detection with dune 3.24. · 4mo ago

Remove compat coq-core libraries (not executables)

Fix Corelib detection with dune 3.24.

Fix rocq shim invoking rocqchk when it was found in PATH

Update the OCaml headers to reflect the fact Coq is now Rocq.

Update the OCaml headers to reflect the fact Coq is now Rocq.

Add -package option to [Coqargs].

Handle queries in rocqshim when possible

Make Boot.Util.(use_suffix, canonical_path_name) internal to Boot.Env

Make Boot.Util.(use_suffix, canonical_path_name) internal to Boot.Env