"-" in selection patterns
It would be really useful to support "-" in selection patterns, such that one can do iClear "- H1 H2 H3"
, like one can with regular Coq clear
.
It would be really useful to support "-" in selection patterns, such that one can do iClear "- H1 H2 H3"
, like one can with regular Coq clear
.