explicit export locality for Hint commands in all generated Coq code#118

palmskog merged 1 commit intomasterott-lang/ott:masterfrom

coq-export-hintott-lang/ott:coq-export-hintCopy head branch name to clipboard