diff --git a/.gitignore b/.gitignore
index 03121f0322c5bd6d266d7e90ad70e7149f723d18..c7a4b4ba5be961dfd46c493db71b8b0c65033eb1 100644
--- a/.gitignore
+++ b/.gitignore
@@ -25,3 +25,4 @@ screenshots/
 tlatools/.gradle
 tlatools/build
 ajcore.*.txt
+local.*
diff --git a/.travis.yml b/.travis.yml
new file mode 100644
index 0000000000000000000000000000000000000000..13245f240e0d5798995f431b140fe57001d3ca01
--- /dev/null
+++ b/.travis.yml
@@ -0,0 +1,15 @@
+language: java
+jdk:
+- oraclejdk7
+before_install:
+- openssl aes-256-cbc -pass pass:$ENCRYPTION_PASSWORD -in secring.gpg.enc -out secring.gpg
+  -d
+- openssl aes-256-cbc -pass pass:$ENCRYPTION_PASSWORD -in pubring.gpg.enc -out pubring.gpg
+  -d
+- openssl aes-256-cbc -pass pass:$ENCRYPTION_PASSWORD -in gradle.properties.enc -out
+  tlatools/gradle.properties -d
+install: /bin/true
+script: gradle -btlatools/build.gradle uploadArchives
+env:
+  global:
+    secure: IrwH0PGjlWp22J55HCJrmqUlupD4X+BIYNnpn88lAtWDeqS+iSl43p42woBxHdrXDwPdYBWpLOYLtDxf7EEw9gnvp5y9FUyYBqscjqTKVpsXAH7f/aCgMb9S4p9kYC/jME7cKwiY2/fx+yAFOQqEOqpBWUrIQssH6ApfOv/3P5khb0O0BMYh0ek8oVrX9+NHpQTnolPIG8chBS53iHM27InQp9RB7sW+l69UaP1+jkzSbyvcfI+p64mgpHZQxnL6DeBi5d82cHDog38GbMeOgBJPNeMplSKo9ofTqOLChqfCAT4s0XskASkQNz7OOC8zWNeEoXpQF8ff9QqKrHyS284LZrrdf8pcJoQgFm/DSilUFCMRCNDWmAuCBR7In8zeBNVbMKR4v2/tcu5yR/PT5disS9Flxl2V3t0/s4MN88qN4w5ZU5I+KxxkR3NJoDWtfCz1b9vQXEXdWiUi5dwpKZ3skxQxY/w+/h2qyYfFfqFHTKW0z98ZBygGySlwsEPVzmva3o6L0bT+6dlT0/5GQi3tbgc6n+M+eafpP/EPybghLqUVF46h3hibK6Bykj3+9djBb0OZTOwyBuQO69TmXWUU/tlMwlBmz2ib3pgz2MBnWNdui6UVwVI2y2fhHNkCc/tRg356dxbI4p6oP0ogncdwlOlGsEUX773GjYQmHhU=
diff --git a/README.md b/README.md
new file mode 100644
index 0000000000000000000000000000000000000000..4f1ce17cd63fd28b3918535dd8b8bc0cddfa75fa
--- /dev/null
+++ b/README.md
@@ -0,0 +1,15 @@
+#TLA+ Tools
+
+[![Build Status](https://travis-ci.org/hhu-stups/tlatools.svg)](https://travis-ci.org/hhu-stups/tlatools)
+
+Tools for TLA+ specifications and PlusCal algorithms, including the Toolbox, 
+an IDE for writing specifications and running tools to check them.
+
+
+This CodePlex site hosts the source code for the TLA+ Toolbox and TLA+ Tools. 
+The executable versions of the code are available for download through a link on the 
+TLA+ web site at research.microsoft.com/en-us/um/people/lamport/tla/tla.html, 
+under the same M.I.T. license with which the source code has been released. 
+The TLAPS proof system can be downloaded from http://tla.msr-inria.inria.fr/tlaps/content/Home.html. 
+For information about TLA+, visit the TLA+ web site.
+Last edited Jul 29, 2013 at 7:26 PM by lamport, version 7
diff --git a/gradle.properties.enc b/gradle.properties.enc
new file mode 100644
index 0000000000000000000000000000000000000000..8dec5627428305a4508fe5431fe42f841ea92bf7
Binary files /dev/null and b/gradle.properties.enc differ
diff --git a/pubring.gpg.enc b/pubring.gpg.enc
new file mode 100644
index 0000000000000000000000000000000000000000..b01894ee4011821aae3eddeedaa4aabe129675fa
Binary files /dev/null and b/pubring.gpg.enc differ
diff --git a/secring.gpg.enc b/secring.gpg.enc
new file mode 100644
index 0000000000000000000000000000000000000000..5d1a7a8e028c27e4f81aaabb128b1fce862262bf
Binary files /dev/null and b/secring.gpg.enc differ
diff --git a/tlatools/build.gradle b/tlatools/build.gradle
index ce9afa0e83cce72673ed5f9424188623454fb7e1..39259289278ab57f6126995ea1e3643bc7344020 100644
--- a/tlatools/build.gradle
+++ b/tlatools/build.gradle
@@ -2,9 +2,12 @@ apply plugin: 'java'
 apply plugin: 'eclipse'
 apply plugin: 'maven'
 
-project.version = '1.0.0-SNAPSHOT'
-project.group = 'de.tla'
+project.version = '1.0.2-SNAPSHOT'
+project.group = 'de.hhu.stups'
+project.archivesBaseName = 'tlatools'
 
+project.sourceCompatibility = '1.7'
+project.targetCompatibility = '1.7'
 
 repositories {
 	mavenCentral()
@@ -23,8 +26,8 @@ sourceSets {
 		resources{
 			srcDir 'src'
 		}
-		
-		
+
+
     }
 }
 
@@ -37,3 +40,74 @@ task tlatools(dependsOn: build) << {
 	}
 }
 
+if (project.hasProperty('ossrhUsername') && project.hasProperty('ossrhPassword')) {
+
+println "Configuring deployment for ${ project.name }"
+
+apply plugin: 'signing'
+
+task javadocJar(type: Jar) {
+	 classifier = 'javadoc'
+	 from javadoc
+}
+
+task sourcesJar(type: Jar) {
+	 classifier = 'sources'
+	 from sourceSets.main.allSource
+}
+
+artifacts {
+	 archives javadocJar, sourcesJar
+}
+
+
+signing {
+	 sign configurations.archives
+}
+
+uploadArchives {
+ repositories {
+	 mavenDeployer {
+		 beforeDeployment { MavenDeployment deployment -> signing.signPom(deployment) }
+
+		 repository(url: "https://oss.sonatype.org/service/local/staging/deploy/maven2/") {
+			 authentication(userName: ossrhUsername, password: ossrhPassword)
+		 }
+
+		 snapshotRepository(url: "https://oss.sonatype.org/content/repositories/snapshots/") {
+			 authentication(userName: ossrhUsername, password: ossrhPassword)
+		 }
+
+		 pom.project {
+			 name "TLA+ Tools"
+			 packaging 'jar'
+			 // optionally artifactId can be defined here
+			 description 'Modified version of the TLA+ tools for usage in ProB'
+			 url 'https://github.com/hhu-stups/tlatools'
+
+			 licenses {
+				 license {
+					 name 'MIT License'
+					 url 'http://research.microsoft.com/en-us/um/people/lamport/tla/license.html'
+				 }
+			 }
+
+			 scm {
+				 connection 'scm:git:git://github.com/hhu-stups/tlatools.git'
+				 developerConnection 'scm:git:git@github.com:hhu-stups/tlatools.git'
+				 url 'https://github.com/hhu-stups/tlatools'
+			 }
+
+
+			 developers {
+				 developer {
+					 id 'bendisposto'
+					 name 'Jens Bendisposto'
+					 email 'jens@bendisposto.de'
+				 }
+			 }
+		 }
+	 }
+ }
+}
+}