VsCoq 0.3.7 is out

Announcements
1

Vscoq 0.3.7 is out!!

Change log :

0.3.7

  • 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)
1 Like