master

MMatthieu SozeauMake ring plugin code compatible with polymorphic constants

1c804cee创建于 11 天前历史提交

文件	最后提交记录	最后更新时间
dune	Remove compat coq-core libraries (not executables) Keep coq-core.kernel because it's used by dune coq mode.	4 个月前
g_ring.mlg	Pass printing flags functionally in constr printers	10 个月前
g_ring.mli	Rename the Pcoq module into Procq.	1 年前
ring.ml	Make ring plugin code compatible with polymorphic constants	11 天前
ring.mli	wit_tactic top type is tacvalue	6 个月前
ring_ast.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 年前
ring_ast.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 年前