master

GGaëtan GilbertKeep track of variable status (secvar or not) in named contexts

980c7ea2创建于 5月28日历史提交

文件	最后提交记录	最后更新时间
derive.ml	Keep track of variable status (secvar or not) in named contexts Close #6773	3 个月前
derive.mli	Add source location for derive	1 年前
dune	Remove compat coq-core libraries (not executables) Keep coq-core.kernel because it's used by dune coq mode.	4 个月前
g_derive.mlg	Don't use grammar rule deletion to implement unfreeze Fix #20537 Fix #20536	1 年前
g_derive.mli	Enable warning 70 (missing mli), add mli files I am tired of seeing compilation bottleneck on random grammar files	3 年前