some changes
more robust parsing.
dnts inside strings and -/* etc for hiding proofs can still cause errors
coqtop interaction is now done in a different thread to keep UI responsive
removed unused code
removed unused code
compile to cursor button working