coq-tools
coq-tools copied to clipboard
.glob-file generation and require normalization should respect `-top`
Followup to #91 and #94, see the comment in the commit message for #94