de.tla2b.build.properties Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of tla2bAST Show documentation

Translator from TLA+ to ProB's AST representation.

The newest version!

# The values for these properties are generated during the build.
# See the configuration of the processResources task in build.gradle.
version=${version}