Code

Adapt to changes in the lsp server.#322

Code

Merged

kape1395 merged 10 commits intomastertlaplus/vscode-tlaplus:masterfrom tlaps-proof-state-v2tlaplus/vscode-tlaplus:tlaps-proof-state-v2Copy head branch name to clipboardJan 31, 2024

+521-254

Commits

Commits on Jan 21, 2024

• Adapt to changes in the lsp server.

  Show description for 7f4b577
  kape1395

  committed
  7f4b577

  Copy full SHA for 7f4b577

Commits on Jan 26, 2024

• Icons and other improvements on TLAPS.

  Show description for ff06f3e
  kape1395

  committed
  ff06f3e

  Copy full SHA for ff06f3e

Commits on Jan 27, 2024

• Retain decorators after tabs are switched.

  Show description for a515732
  kape1395

  committed
  a515732

  Copy full SHA for a515732

• Set the current proof step via explicit LSP command.

  Show description for 71319fb
  kape1395

  committed
  71319fb

  Copy full SHA for 71319fb

• Use react for proof step details view.

  Show description for 1ca8a75
  kape1395

  committed
  1ca8a75

  Copy full SHA for 1ca8a75

Commits on Jan 28, 2024

• Make proof step details look nicer.

  Show description for 3308eb4
  kape1395

  committed
  3308eb4

  Copy full SHA for 3308eb4

• Do not mix the range class and interface.

  Show description for 234b4b7
  kape1395

  committed
  234b4b7

  Copy full SHA for 234b4b7

• Don't show aux obligations, unless they are failed.

  Show description for 38aa440
  kape1395

  committed
  38aa440

  Copy full SHA for 38aa440

Commits on Jan 29, 2024

• Restore accidentally broken formatting.

  Show description for 6d9a1f2
  kape1395

  committed
  6d9a1f2

  Copy full SHA for 6d9a1f2

Commits on Jan 31, 2024

• Cleanup after a review.

  Show description for 829a87a
  kape1395

  committed
  829a87a

  Copy full SHA for 829a87a