v0.2.6

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

v0.2.5

• external view: option to host the proof-view via a webserver (#96)
  • settings: coq.externalViewScheme
• fixes: #96 #98 #99

v0.2.4

• "finish computations" command (#24)
  command: "Finish Computations" --> "extension.coq.finishComputations"
• customize proof-view theme (#91)
  command: "Customize proof-view styling" --> "extension.coq.proofView.customizeProofViewStyle"
• better auto-indenting (#87 #88)
  settings: coq.editor.indentAfterBullet,
• support custom command to externally view proof-state (#95)
  settings: coq.externalViewUrlCommand
• feature: reveal cached proof state at cursor (#66)
  settings: coq.autoRevealProofStateAtCursor
  command: "View the proof-state at the cursor position" --> "extension.coq.proofView.viewStateAt"
• fix #94 #93 #92

v0.2.0

• Support for Coq 8.6
• LtacProfiling results view
• basic symbols/definition lookup within document
• some coloring for richpp message in proof-view
• new feature: synchronous interpret to point
• new option: interpretToEndOfLine
• graceful handling of 'coqtop not found'

v0.1.5

• fixed broken dependencies

v0.1.4

• support for RichPP in the 8.6 protocol (no highlighting as of yet)
• apply prettify-symbols-mode to query results, errors, and messages
• more snippets
• parser fixes (better Unicode handling)

Initial public release

First public release.

fix status bar timer & simpl highlighting logic

0.0.1-beta.2

simplify highlighting logic; make client dumb

initial release

basic support for Coq 8.5.

• Note: coqtopw.exe allows this extension to interrupt computations on Windows.