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

Commits

Commits on Dec 30, 2022