Hack to work around lack of installed .glob

JasonGross / coq-tools

Some scripts to help construct small reproducing examples of bugs, implement [Proof using], etc.

MIT License

39 stars 9 forks source link

Closed JasonGross closed 1 month ago

JasonGross commented 1 month ago

We add -R for user-contrib developments only in cases where coqc fails.