coq-tools icon indicating copy to clipboard operation
coq-tools copied to clipboard

.glob-file generation and require normalization should respect `-top`

Open JasonGross opened this issue 4 years ago • 0 comments

Followup to #91 and #94, see the comment in the commit message for #94

JasonGross avatar Nov 14 '21 20:11 JasonGross