Skip to content

CTL2Java 1.1-0

Choose a tag to compare

View all tags
@MediumAutomaton MediumAutomaton released this 06 Nov 05:18
· 2 commits to main since this release
1.1-0
a32abd2
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Now works correctly with the current version of CTLedit, and supports the new "Enum" Parameter Type.

NOTE: Critical bugs have been found in this release. Please use version 1.1-1 instead.

Assets 2
Loading