DanGrayson/coq

--no-sharing option for coq 8.3

Opened this issue · 0 comments

DanGrayson commented

Make no-sharing a command line option for our patched coq 8.3 branch.