Commits

Branch selector

 master

User selector

kape1395

Datepicker

All time

Commit History

Commits on Feb 4, 2024

• Merge pull request #325 from tlaplus/module-paths

  Show description for d2e1743
  kape1395

  authored
  d2e1743

Commits on Feb 3, 2024

• Add community modules to the paths supplied by TLC.

  Show description for 5e032cf
  kape1395

  committed
  5e032cf

• Module search paths can be shared between tools.

  Show description for 16ebbce
  kape1395

  committed
  16ebbce

Commits on Jan 31, 2024

• Merge pull request #322 from tlaplus/tlaps-proof-state-v2

  Show description for 766ee98
  kape1395

  authored
  766ee98

• Cleanup after a review.

  Show description for 829a87a
  kape1395

  committed
  829a87a

Commits on Jan 29, 2024

• Restore accidentally broken formatting.

  Show description for 6d9a1f2
  kape1395

  committed
  6d9a1f2

Commits on Jan 28, 2024

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

  Show description for 38aa440
  kape1395

  committed
  38aa440

• Do not mix the range class and interface.

  Show description for 234b4b7
  kape1395

  committed
  234b4b7

• Make proof step details look nicer.

  Show description for 3308eb4
  kape1395

  committed
  3308eb4

Commits on Jan 27, 2024

• Use react for proof step details view.

  Show description for 1ca8a75
  kape1395

  committed
  1ca8a75

• Set the current proof step via explicit LSP command.

  Show description for 71319fb
  kape1395

  committed
  71319fb

• Retain decorators after tabs are switched.

  Show description for a515732
  kape1395

  committed
  a515732

Commits on Jan 26, 2024

• Icons and other improvements on TLAPS.

  Show description for ff06f3e
  kape1395

  committed
  ff06f3e

Commits on Jan 21, 2024

• Adapt to changes in the lsp server.

  Show description for 7f4b577
  kape1395

  committed
  7f4b577

Commits on Jan 10, 2024

• Merge pull request #319 from kape1395/tlaps-proof-state

  Show description for 56daa35
  kape1395

  authored
  56daa35

• Merge remote-tracking branch 'origin/master' into tlaps-proof-state

  Show description for ef784d3
  kape1395

  committed
  ef784d3

Commits on Jan 8, 2024

• Show more info.

  Show description for e9d3443
  kape1395

  committed
  e9d3443

Commits on Jan 6, 2024

• Initial version for the proof state view.

  Show description for 99c373f
  kape1395

  committed
  99c373f

Commits on Dec 17, 2023

• Make TLAPS proof step decorators less distractive. (#316)

  Show description for 84b151d
  kape1395

  authored
  84b151d

Commits on Oct 16, 2023

• Make whole-line markers configurable.

  Show description for cf04d98
  

  kape1395

  authored and

  lemmy

  committed
  cf04d98

• Use decorators to present proof states.

  Show description for 606bf3c
  

  kape1395

  authored and

  lemmy

  committed
  606bf3c

• TLAPS support via LSP.

  Show description for a5e9f01
  

  2 peopleauthored and

  lemmy

  committed
  a5e9f01