Skip to content
Snippets Groups Projects
Commit 7e80f1d6 authored by Markus Alexander Kuppe's avatar Markus Alexander Kuppe
Browse files

Make state graph more readable by humans. 

Github issue #116
https://github.com/tlaplus/tlaplus/issues/116

Github Pull Request #138
https://github.com/tlaplus/tlaplus/pull/138

[Feature][TLC][Changelog]
parents b5c1d752 29e1e632
No related branches found
No related tags found
No related merge requests found
Show whitespace changes
Inline Side-by-side
Showing
with 263 additions and 36 deletions
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment