Skip to content

v0.2.6

Latest

Choose a tag to compare

@siegebell siegebell released this 05 Dec 04:43
· 58 commits to master since this release
  • partial resolution to #100 - allow specifying where user-settings should go. Note: this setting may be removed in the future when vscode supports this functionality.
    • setting: coq.hacks.userSettingsLocation
  • fixes #101 #102 #103 #104 (UI & parsing)