diff --git a/README.md b/README.md
index 4314f2bf3c2de35aca6411364258e83987d71dad..c6f9fc89b476eecd246eae463c20e6921231870a 100644
--- a/README.md
+++ b/README.md
@@ -1,3 +1,5 @@
+<img src="https://github.com/bendisposto/prob/raw/develop/logo.png" width="500" align="center">
+
# The ProB Model Checker and Animator
The ProB source code is distributed under the EPL license (http://www.eclipse.org/org/documents/epl-v10.html).
diff --git a/de.bmotionstudio.gef.editor/build.gradle b/de.bmotionstudio.gef.editor/build.gradle
deleted file mode 100644
index ba42248b12f97a16ebe8c06ddd312189a2a6024d..0000000000000000000000000000000000000000
--- a/de.bmotionstudio.gef.editor/build.gradle
+++ /dev/null
@@ -1,77 +0,0 @@
-apply plugin: 'base'
-
-deploy <<{
-
- content = new File("${project.name}/META-INF/MANIFEST.MF").getText("UTF-8")
-
-
-
- printFileLine = {
- if( it ==~ /Bundle-Version.+qualifier/ ){
- versionNumber = it.substring(16) // possibile error: cuts off first 16 chars
-
- /* Version Number is taken from Bundle-Version in Manifest.MF
- * If there is no Bundle-Version or the versionnumber needs to
- * be taken from a different key word, please change the
- * regular expression and the substring above
- */
-
- }
-
- if( it ==~ /Bundle-SymbolicName:.+/ ){
- artifactId = it.substring(21)
- artifactId = artifactId.replace(";singleton:=true",'')
- }
- /* Artifact ID is taken from Bundle-SymbolicName minus the
- * 16 chars ';singleton:=true'
- */
- }
-
- content.eachLine( printFileLine )
-
-
- println artifactId
- println "\t"+versionNumber
-
- def f = new File(artifactId+'/pom.xml')
- f.delete()
- f << start()+elder()+repos()+artifact(artifactId, versionNumber)+end()
- /*
- * old pom.xml files are deleted and replaced by new auto generated Tycho pom.xml files
- */
-
-}
-
-
-
-
-/* -- In case of Error use old Build Script --
-deploy <<{
-
-
- content = new File("de.bmotionstudio.gef.editor/META-INF/MANIFEST.MF").getText("UTF-8")
-
- printFileLine = { if( it ==~ /Bundle-Version.+qualifier/ ){
- versionNumber = it.substring(16) // possibile error: cuts off first 16 chars
-
- /* Version Number is taken from Bundle-Version in Manifest.MF
- * If there is no Bundle-Version or the versionnumber needs to
- * be taken from a different key word, please change the
- * regular expression and the substring above
- *//*
-
- }
- }
-
- content.eachLine( printFileLine )
-
- artifactId = 'de.bmotionstudio.gef.editor'
-
- println artifactId
- println "\t"+versionNumber
-
- def f = new File(artifactId+'/pom.xml')
- f.delete()
- f << start()+elder()+repos()+artifact(artifactId, versionNumber)+end()
-
-} */
\ No newline at end of file
diff --git a/de.bmotionstudio.rodin/build.gradle b/de.bmotionstudio.rodin/build.gradle
deleted file mode 100644
index 94332104c71193c53f9bf6f60e822f29c2790e23..0000000000000000000000000000000000000000
--- a/de.bmotionstudio.rodin/build.gradle
+++ /dev/null
@@ -1,77 +0,0 @@
-apply plugin: 'base'
-
-deploy <<{
-
- content = new File("${project.name}/META-INF/MANIFEST.MF").getText("UTF-8")
-
-
-
- printFileLine = {
- if( it ==~ /Bundle-Version.+qualifier/ ){
- versionNumber = it.substring(16) // possibile error: cuts off first 16 chars
-
- /* Version Number is taken from Bundle-Version in Manifest.MF
- * If there is no Bundle-Version or the versionnumber needs to
- * be taken from a different key word, please change the
- * regular expression and the substring above
- */
-
- }
-
- if( it ==~ /Bundle-SymbolicName:.+/ ){
- artifactId = it.substring(21)
- artifactId = artifactId.replace(";singleton:=true",'')
- }
- /* Artifact ID is taken from Bundle-SymbolicName minus the
- * 16 chars ';singleton:=true'
- */
- }
-
- content.eachLine( printFileLine )
-
-
- println artifactId
- println "\t"+versionNumber
-
- def f = new File(artifactId+'/pom.xml')
- f.delete()
- f << start()+elder()+repos()+artifact(artifactId, versionNumber)+end()
- /*
- * old pom.xml files are deleted and replaced by new auto generated Tycho pom.xml files
- */
-
-}
-
-
-/*
-deploy <<{
-
- content = new File("de.bmotionstudio.rodin/META-INF/MANIFEST.MF").getText("UTF-8")
-
- printFileLine = { if( it ==~ /Bundle-Version.+qualifier/ ){
- versionNumber = it.substring(16) // possibile error: cuts off first 16 chars
-
- /* Version Number is taken from Bundle-Version in Manifest.MF
- * If there is no Bundle-Version or the versionnumber needs to
- * be taken from a different key word, please change the
- * regular expression and the substring above
- *//*
-
- }
- }
-
- content.eachLine( printFileLine )
-
-
- artifactId = 'de.bmotionstudio.rodin'
-
- println artifactId
- println "\t"+versionNumber
-
- def f = new File(artifactId+'/pom.xml')
- f.delete()
- f << start()+elder()+repos()+artifact(artifactId, versionNumber)+end()
-
-}
-
-*/
\ No newline at end of file
diff --git a/de.prob.core/build.gradle b/de.prob.core/build.gradle
deleted file mode 100644
index c8f6efb11fe034cc9b420b3dcddec861839a509c..0000000000000000000000000000000000000000
--- a/de.prob.core/build.gradle
+++ /dev/null
@@ -1,44 +0,0 @@
-apply plugin: 'base'
-
-deploy <<{
-
- content = new File("${project.name}/META-INF/MANIFEST.MF").getText("UTF-8")
-
-
-
- printFileLine = {
- if( it ==~ /Bundle-Version.+qualifier/ ){
- versionNumber = it.substring(16) // possibile error: cuts off first 16 chars
-
- /* Version Number is taken from Bundle-Version in Manifest.MF
- * If there is no Bundle-Version or the versionnumber needs to
- * be taken from a different key word, please change the
- * regular expression and the substring above
- */
-
- }
-
- if( it ==~ /Bundle-SymbolicName:.+/ ){
- artifactId = it.substring(21)
- artifactId = artifactId.replace(";singleton:=true",'')
- }
- /* Artifact ID is taken from Bundle-SymbolicName minus the
- * 16 chars ';singleton:=true'
- */
- }
-
- content.eachLine( printFileLine )
-
-
- println artifactId
- println "\t"+versionNumber
-
- def f = new File(artifactId+'/pom.xml')
- f.delete()
- f << start()+elder()+repos()+artifact(artifactId, versionNumber)+end()
- /*
- * old pom.xml files are deleted and replaced by new auto generated Tycho pom.xml files
- */
-
-}
-
diff --git a/de.prob.parent/build.gradle b/de.prob.parent/build.gradle
deleted file mode 100644
index be028d5715a6ffda7542ba944e0324bbb9d64f9c..0000000000000000000000000000000000000000
--- a/de.prob.parent/build.gradle
+++ /dev/null
@@ -1,150 +0,0 @@
- def parentPom(artifactId) { """
-<?xml version="1.0" encoding="UTF-8"?>
-<project xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd">
- <modelVersion>4.0.0</modelVersion>
-
- <groupId>${groupId()}</groupId>
- <artifactId>${artifactId}</artifactId>
- <version>1.0.0.qualifier</version>
-
- <packaging>pom</packaging>
-
- <!-- this is the parent POM from which all modules inherit common settings -->
- <properties>
- <tycho-version>0.14.1</tycho-version>
- </properties>
-
-
- <repositories>
- <!-- configure p2 repository to resolve against -->
- <repository>
- <id>prob_target</id>
- <layout>p2</layout>
- <url>http://cobra.cs.uni-duesseldorf.de/prob_dev_target/</url>
- </repository>
-
-
- <repository>
- <id>indigo</id>
- <layout>p2</layout>
- <url>http://download.eclipse.org/releases/indigo/</url>
- </repository>
-
- </repositories>
-
- <build>
- <plugins>
- <plugin>
- <!-- enable tycho build extension -->
- <groupId>org.eclipse.tycho</groupId>
- <artifactId>tycho-maven-plugin</artifactId>
- <version>0.14.1</version>
- <extensions>true</extensions>
- </plugin>
- </plugins>
- </build>
-
- <!-- the modules that should be built together -->
- <modules>
- """}
-
-//for(int i = 0; i < numberOfProjects(); i++)
-
-def module(int i){
- if(projects(i)!=parentId()){""" <module>../${projects(i)}</module>
-"""}else{""""""}
-}
-
-
-def endParent() {"""
- </modules>
-</project>
- """}
-
-
-deploy <<{
-
- versionNumber = '1.0.0.qualifier'
- artifactId = parentId()
-
- def f = new File(artifactId+'/pom.xml')
- f.delete()
- f << parentPom(artifactId)
- for(int i = 0; i < numberOfProjects(); i++){
- f << module(i)
- }
- f << endParent()
-
-}
-
-
-
-
-/*
-
-!!!!! In case of problems: This is the old parernt Pom Defenintion: !!!!
-
- def parentPom() { """
-<?xml version="1.0" encoding="UTF-8"?>
-<project xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd">
- <modelVersion>4.0.0</modelVersion>
-
- <groupId>de.prob</groupId>
- <artifactId>de.prob.parent</artifactId>
- <version>1.0.0.qualifier</version>
-
- <packaging>pom</packaging>
-
- <!-- this is the parent POM from which all modules inherit common settings -->
- <properties>
- <tycho-version>0.14.1</tycho-version>
- </properties>
-
-
- <repositories>
- <!-- configure p2 repository to resolve against -->
- <repository>
- <id>prob_target</id>
- <layout>p2</layout>
- <url>http://cobra.cs.uni-duesseldorf.de/prob_dev_target/</url>
- </repository>
-
-
- <repository>
- <id>indigo</id>
- <layout>p2</layout>
- <url>http://download.eclipse.org/releases/indigo/</url>
- </repository>
-
- </repositories>
-
- <build>
- <plugins>
- <plugin>
- <!-- enable tycho build extension -->
- <groupId>org.eclipse.tycho</groupId>
- <artifactId>tycho-maven-plugin</artifactId>
- <version>0.14.1</version>
- <extensions>true</extensions>
- </plugin>
- </plugins>
- </build>
-
- <!-- the modules that should be built together -->
- <modules>
- <module>../de.prob.core</module>
-
- <module>../de.bmotionstudio.gef.editor</module>
- <module>../de.bmotionstudio.rodin</module>
- <module>../de.prob.ui</module>
- <module>../de.prob.plugin</module>
-<!-- <module>../de.prob.feature</module> -->
- <module>../de.prob2.feature</module>
- <module>../de.prob.repository</module>
-
- </modules>
-</project>
- """}
-*/
-
-
\ No newline at end of file
diff --git a/de.prob.plugin/build.gradle b/de.prob.plugin/build.gradle
deleted file mode 100644
index a40edf015d9ee76b746ca077a87148654276cc5b..0000000000000000000000000000000000000000
--- a/de.prob.plugin/build.gradle
+++ /dev/null
@@ -1,76 +0,0 @@
-apply plugin: 'base'
-
-deploy <<{
-
- content = new File("${project.name}/META-INF/MANIFEST.MF").getText("UTF-8")
-
-
-
- printFileLine = {
- if( it ==~ /Bundle-Version.+qualifier/ ){
- versionNumber = it.substring(16) // possibile error: cuts off first 16 chars
-
- /* Version Number is taken from Bundle-Version in Manifest.MF
- * If there is no Bundle-Version or the versionnumber needs to
- * be taken from a different key word, please change the
- * regular expression and the substring above
- */
-
- }
-
- if( it ==~ /Bundle-SymbolicName:.+/ ){
- artifactId = it.substring(21)
- artifactId = artifactId.replace(";singleton:=true",'')
- }
- /* Artifact ID is taken from Bundle-SymbolicName minus the
- * 16 chars ';singleton:=true'
- */
- }
-
- content.eachLine( printFileLine )
-
-
- println artifactId
- println "\t"+versionNumber
-
- def f = new File(artifactId+'/pom.xml')
- f.delete()
- f << start()+elder()+repos()+artifact(artifactId, versionNumber)+end()
- /*
- * old pom.xml files are deleted and replaced by new auto generated Tycho pom.xml files
- */
-
-}
-
-
-
-/*
-deploy <<{
-
-
- content = new File("de.prob.plugin/META-INF/MANIFEST.MF").getText("UTF-8")
-
- printFileLine = { if( it ==~ /Bundle-Version.+qualifier/ ){
- versionNumber = it.substring(16) // possibile error: cuts off first 16 chars
-
- /* Version Number is taken from Bundle-Version in Manifest.MF
- * If there is no Bundle-Version or the versionnumber needs to
- * be taken from a different key word, please change the
- * regular expression and the substring above
- *//*
-
- }
- }
-
- content.eachLine( printFileLine )
-
- artifactId = 'de.prob.plugin'
-
- println artifactId
- println "\t"+versionNumber
-
- def f = new File(artifactId+'/pom.xml')
- f.delete()
- f << start()+elder()+repos()+artifact(artifactId, versionNumber)+end()
-
-}*/
\ No newline at end of file
diff --git a/de.prob.repository/build.gradle b/de.prob.repository/build.gradle
deleted file mode 100644
index f6bcac70abe81c7667c67daffb253b164ede9d98..0000000000000000000000000000000000000000
--- a/de.prob.repository/build.gradle
+++ /dev/null
@@ -1,32 +0,0 @@
-def reposi(artifact) { """
-<?xml version="1.0" encoding="UTF-8"?>
- <project
- xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd" xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance">
- <modelVersion>4.0.0</modelVersion>
- <parent>
- <groupId>${groupId()}</groupId>
- <artifactId>${parentId()}</artifactId>
- <version>1.0.0.qualifier</version>
- <relativePath>../${parentId()}/pom.xml</relativePath>
- </parent>
-
-
- <groupId>${groupId()}</groupId>
- <artifactId>${artifact}</artifactId>
- <version>1.0.0.qualifier</version>
- <packaging>eclipse-repository</packaging>
- </project>
-"""}
-
-deploy <<{
-
- versionNumber = '1.0.0.qualifier'
- artifactId = project.name
-
- println artifactId
-
- def f = new File(artifactId+'/pom.xml')
- f.delete()
- f << reposi(artifactId)
-
-}
\ No newline at end of file
diff --git a/de.prob.ui/build.gradle b/de.prob.ui/build.gradle
deleted file mode 100644
index 88cff69e7f409927812cacebf166ae99736cb141..0000000000000000000000000000000000000000
--- a/de.prob.ui/build.gradle
+++ /dev/null
@@ -1,75 +0,0 @@
-apply plugin: 'base'
-
-deploy <<{
-
- content = new File("${project.name}/META-INF/MANIFEST.MF").getText("UTF-8")
-
-
-
- printFileLine = {
- if( it ==~ /Bundle-Version.+qualifier/ ){
- versionNumber = it.substring(16) // possibile error: cuts off first 16 chars
-
- /* Version Number is taken from Bundle-Version in Manifest.MF
- * If there is no Bundle-Version or the versionnumber needs to
- * be taken from a different key word, please change the
- * regular expression and the substring above
- */
-
- }
-
- if( it ==~ /Bundle-SymbolicName:.+/ ){
- artifactId = it.substring(21)
- artifactId = artifactId.replace(";singleton:=true",'')
- }
- /* Artifact ID is taken from Bundle-SymbolicName minus the
- * 16 chars ';singleton:=true'
- */
- }
-
- content.eachLine( printFileLine )
-
-
- println artifactId
- println "\t"+versionNumber
-
- def f = new File(artifactId+'/pom.xml')
- f.delete()
- f << start()+elder()+repos()+artifact(artifactId, versionNumber)+end()
- /*
- * old pom.xml files are deleted and replaced by new auto generated Tycho pom.xml files
- */
-
-}
-
-
-/*
-deploy <<{
-
- content = new File("de.prob.ui/META-INF/MANIFEST.MF").getText("UTF-8")
-
- printFileLine = { if( it ==~ /Bundle-Version.+qualifier/ ){
- versionNumber = it.substring(16) // possibile error: cuts off first 16 chars
-
- /* Version Number is taken from Bundle-Version in Manifest.MF
- * If there is no Bundle-Version or the versionnumber needs to
- * be taken from a different key word, please change the
- * regular expression and the substring above
- *//*
-
- }
- }
-
- content.eachLine( printFileLine )
-
- artifactId = 'de.prob.ui'
-
- println artifactId
- println "\t"+versionNumber
-
- def f = new File(artifactId+'/pom.xml')
- f.delete()
- f << start()+elder()+repos()+artifact(artifactId, versionNumber)+end()
-
-}
-*/
\ No newline at end of file
diff --git a/de.prob2.feature/build.gradle b/de.prob2.feature/build.gradle
deleted file mode 100644
index 05a35fa8c8e026f72a0949dfcf366a183a4b0ca0..0000000000000000000000000000000000000000
--- a/de.prob2.feature/build.gradle
+++ /dev/null
@@ -1,59 +0,0 @@
-def feature(artifactId, versionNumber) { """
-<?xml version="1.0" encoding="UTF-8"?>
- <project
- xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd" xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance">
- <modelVersion>4.0.0</modelVersion>
- <parent>
- <groupId>${groupId()}</groupId>
- <artifactId>${parentId()}</artifactId>
- <version>1.0.0.qualifier</version>
- <relativePath>../${parentId()}/pom.xml</relativePath>
- </parent>
- <groupId>${groupId()}</groupId>
- <artifactId>${artifactId}</artifactId>
- <version>${versionNumber}</version>
- <packaging>eclipse-feature</packaging>
- </project>
-"""}
-
-deploy <<{
-
- boolean idfound = false
-
- content = new File("${project.name}/feature.xml").getText("UTF-8")
-
- printFileLine = {
-
- if( it ==~ /.+version.+qualifier.+/ ){
- versionNumber = it.substring(15,it.size()-1)
- // possibile error: cuts off first 15 chars and leaves out last '"'
-
- /* Version Number is taken from Feature.xml
- * feature.xml is searched for version="version.qualifier"
- * first 15 chars and last '"' are cut off
- */
-
- }
-
-
- if( it ==~ /.+id=".+/ && idfound == false ){
- artifactId = it.substring(10,it.length()-1)
- idfound = true
- }
- /* Artifact ID is taken from Bundle-SymbolicName minus the
- * 16 chars ';singleton:=true'
- */
- }
-
- content.eachLine( printFileLine )
-
-
- println artifactId
- println "\t"+versionNumber
-
-
- def f = new File(artifactId+'/pom.xml')
- f.delete()
- f << feature(artifactId, versionNumber)
-
-}
\ No newline at end of file
diff --git a/logo.png b/logo.png
new file mode 100644
index 0000000000000000000000000000000000000000..49cfbdc03725b2e690a229c19c598c97aa813c7a
Binary files /dev/null and b/logo.png differ