master

GGaëtan GilbertRemove compat coq-core libraries (not executables)

ba476414创建于 5月22日历史提交

文件	最后提交记录	最后更新时间
dune	Remove compat coq-core libraries (not executables) Keep coq-core.kernel because it's used by dune coq mode.	3 个月前
perf.c	Update the remaining headers to reflect the fact Coq is now Rocq.	1 年前
perf.ml	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 年前
perf.mli	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 年前