use released versions

build.gradle

@@ -27,7 +27,7 @@ configurations.all {
 }
 
 def parser_version = '2.5.1'
-def tlatools_version = '1.0.2-SNAPSHOT'
+def tlatools_version = '1.0.2'
 
 dependencies {
 	//compile (group: 'com.microsoft', name: 'tla2tools', version: '1.4.6')
@@ -42,7 +42,7 @@ dependencies {
 	//compile(group: 'de.hhu.stups', name: 'de.prob.core.kernel', version: '2.0.0-milestone-13-SNAPSHOT')
 
 	testCompile (group: 'junit', name: 'junit', version: '4.11')
-	testCompile (group: 'de.hhu.stups', name: 'tla2bAST', version: '1.0.8-SNAPSHOT')
+	testCompile (group: 'de.hhu.stups', name: 'tla2bAST', version: '1.0.8')
 }
 
 jacoco {