pcal.trans can now handle utf8 - Githubissues

tlaplus / Examples

A collection of TLA⁺ specifications of varying complexities

Other

1.27k stars 198 forks source link

pcal.trans can now handle utf8 #138

Closed ahelwer closed 5 months ago

ahelwer commented 5 months ago

Don't skip file now that https://github.com/tlaplus/tlaplus/pull/909 is merged.