coq2latex icon indicating copy to clipboard operation
coq2latex copied to clipboard

Published 20 hours ago • verified publisher icon olydis

Silently Fails on Unicode

Open JoeyEremondi opened this issue 8 years ago • 0 comments

This tool looks very promising, I'd also like to use it with Unicode (like company-coq lets you input). When I tried that, the tool just silently fails and produces no output.

JoeyEremondi avatar Jan 28 '17 19:01 JoeyEremondi