search

siegebell / vscoq

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

status bars should not be duplicated among documents #127

Closed siegebell closed 7 years ago

siegebell commented 7 years ago

...should be owned by the project

siegebell commented 7 years ago

forked from #41

siegebell commented 7 years ago

actually, the overall design is okay. but there are a bunch of bugs to fix.