Vscoq 0.3.7 is out!!
Change log :
- add an option to disable “Proof View Diff” (#321 by @Blaisorblade)
- add logo as icon to coq file (#302 by dlesbre)
- add hover provider (#300 by dlesbre)
- add color to more keywords (#299 by dlesbre)
- various improvements and consolidations (by Huỳnh Trần Khanh)
- fixed leaking error message when only shelved goals remain (#268 by fakusb)