| 文件 | 最后提交记录 | 最后更新时间 |
|---|---|---|
Remove compat coq-core libraries (not executables) Keep coq-core.kernel because it's used by dune coq mode. | 3 个月前 | |
Fix Corelib detection with dune 3.24. | 2 个月前 | |
Fix rocq shim invoking rocqchk when it was found in PATH Fix #20950 | 1 年前 | |
Update the OCaml headers to reflect the fact Coq is now Rocq. This was generated with a sed script applied to all files with extensions {ml, mli, mly, mll, mlg}. | 1 年前 | |
Update the OCaml headers to reflect the fact Coq is now Rocq. This was generated with a sed script applied to all files with extensions {ml, mli, mly, mll, mlg}. | 1 年前 | |
Add -package option to [Coqargs]. | 2 个月前 | |
Handle queries in rocqshim when possible This allows us to handle queries before trying to find Prelude.vo, except for -where and -config which need to initialize the Rocq environment, and -help which is different based on the subcommand and so needs to find the subcommand exe. As such #20128 is not fixed for -help (but is fixed for -v). We will need to move the specific_usage data somewhere more accessible to the shim to be able to fix -help. | 1 年前 | |
Make Boot.Util.(use_suffix, canonical_path_name) internal to Boot.Env | 1 年前 | |
Make Boot.Util.(use_suffix, canonical_path_name) internal to Boot.Env | 1 年前 |