coq.pp :standard? #2414
Description
Would it be possible for coq.pp to support :standard and globs? (with :standard meaning *.mlg)
Metadata
Metadata
Assignees
Type
Projects
Status
{{ message }}
Would it be possible for coq.pp to support :standard and globs? (with :standard meaning *.mlg)
Status