Fix runtime errors - Githubissues

sr-lab / coqpyt

Python client for coq-lsp

MIT License

25 stars 3 forks source link

Fix runtime errors #32

Closed pcarrott closed 10 months ago

pcarrott commented 10 months ago

Add workspace to imported libraries
Handle spaces in workspace paths
Fix split for notation patterns