master

GGaëtan GilbertRemove more global lazys

53153270创建于 5月28日历史提交

文件	最后提交记录	最后更新时间
dune	Remove compat coq-core libraries (not executables) Keep coq-core.kernel because it's used by dune coq mode.	3 个月前
g_nsatz.mlg	rename package coq-core -> rocq-runtime	1 年前
g_nsatz.mli	Enable warning 70 (missing mli), add mli files I am tired of seeing compilation bottleneck on random grammar files	3 年前
ideal.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 年前
ideal.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 年前
nsatz.ml	Remove more global lazys	3 个月前
nsatz.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 年前
polynom.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 年前
polynom.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 年前
utile.ml	Infrastructure for fine-grained debug flags	5 年前
utile.mli	[nsatz] remove dead code	7 年前