search

siegebell / vscoq

Coq Support for Visual Studio Code
MIT License
92 stars 9 forks source link

Fix #138 and #157 #169

Open BelegCuthalion opened 5 years ago

BelegCuthalion commented 5 years ago

as proposed in https://github.com/siegebell/vscoq/issues/157#issuecomment-422865605 by @Carotti