Skip to content

Fix invalid utf8 in SimpleRegular.tla and invalid syntax in Specifying Systems modules#55

Closed
ahelwer wants to merge 5 commits into
tlaplus:masterfrom
ahelwer:patch-1
Closed

Fix invalid utf8 in SimpleRegular.tla and invalid syntax in Specifying Systems modules#55
ahelwer wants to merge 5 commits into
tlaplus:masterfrom
ahelwer:patch-1

Fixed conjunction list alignment in Synod.tla

5b27661
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs