using a modified version of TLC

build.gradle

@@ -18,12 +18,16 @@ configurations { // configuration that holds jars to copy into lib
 def parser_version = '2.4.20-SNAPSHOT'
 
 dependencies {
-	compile (group: 'com.microsoft', name: 'tla2tools', version: '1.4.6')
+	//compile (group: 'com.microsoft', name: 'tla2tools', version: '1.4.6')
+	compile (group: 'de.tla', name: 'tlatools', version: '1.0.0-SNAPSHOT')
+	
 	compile (group: 'de.prob', name: 'prologlib', version: parser_version)
 	compile (group: 'de.prob', name: 'parserbase', version: parser_version)
 	compile (group: 'de.prob', name: 'bparser', version: parser_version)
 	compile (group: 'de.prob', name: 'ltlparser', version: parser_version)
 	
+	//compile(group: 'de.prob', name: 'de.prob.core.kernel', version: '2.0.0-milestone-13-SNAPSHOT')
+
 	testCompile (group: 'junit', name: 'junit', version: '4.+')
 	testCompile (group: 'de.prob', name: 'tla2b', version: '1.0.3-SNAPSHOT')
 
@@ -51,7 +55,7 @@ jar	{
 	from configurations.releaseJars.collect { it.isDirectory() ? it : zipTree(it) }
 }
 manifest.mainAttributes("Main-Class" : 'de.b2tla.B2TLA')
-manifest.mainAttributes("Class-Path": './tla/ tla2tools.jar')
+manifest.mainAttributes("Class-Path": './tla/ tlatools.jar')
 
 task b2tla(dependsOn: build) << {
 	copy {