indicate which sentence's goal state is displayed when !=focus - Githubissues

siegebell / vscoq

Coq Support for Visual Studio Code

MIT License

92 stars 9 forks source link

indicate which sentence's goal state is displayed when !=focus #126

Closed siegebell closed 7 years ago