Upgrade to tla2tools commit tlaplus/tlaplus@7ee2753

Interactively explore the state-space. [Feature]
tlaplus · Apr 7, 2022 · 2e22ed0 · 2e22ed0
1 parent 64203df
commit 2e22ed0
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/tools/tla2tools.jar b/tools/tla2tools.jar