diff --git a/de.prob.core/prob/linux/build_info.txt b/de.prob.core/prob/linux/build_info.txt
deleted file mode 100644
index f107787dc1bd23605ac9c7c8dfad51e60086fd97..0000000000000000000000000000000000000000
--- a/de.prob.core/prob/linux/build_info.txt
+++ /dev/null
@@ -1,4 +0,0 @@
-
-		Revision: 9938
-		January 17 2012 - 2002
-     
\ No newline at end of file
diff --git a/de.prob.core/prob/linux/lib/graphiso.so b/de.prob.core/prob/linux/lib/graphiso.so
deleted file mode 100644
index 3acdacef777db56f40f83515a67739d9f839edbe..0000000000000000000000000000000000000000
Binary files a/de.prob.core/prob/linux/lib/graphiso.so and /dev/null differ
diff --git a/de.prob.core/prob/linux/lib/ltlc.so b/de.prob.core/prob/linux/lib/ltlc.so
deleted file mode 100644
index 8082c639829d994d19efb2122b0ed31ad7975c75..0000000000000000000000000000000000000000
Binary files a/de.prob.core/prob/linux/lib/ltlc.so and /dev/null differ
diff --git a/de.prob.core/prob/linux/lib/user_signal.so b/de.prob.core/prob/linux/lib/user_signal.so
deleted file mode 100644
index 38f598bf247fc84eeedacd22d02571c4bd388676..0000000000000000000000000000000000000000
Binary files a/de.prob.core/prob/linux/lib/user_signal.so and /dev/null differ
diff --git a/de.prob.core/prob/linux/probcli b/de.prob.core/prob/linux/probcli
deleted file mode 100755
index cb76a450c9863b9425c7aee5eb663d0b53752dd0..0000000000000000000000000000000000000000
Binary files a/de.prob.core/prob/linux/probcli and /dev/null differ
diff --git a/de.prob.core/prob/linux/probcli.sh b/de.prob.core/prob/linux/probcli.sh
deleted file mode 100644
index 9611d3df6b8a0d0b2799921cc4fa5ca6a55bb41b..0000000000000000000000000000000000000000
--- a/de.prob.core/prob/linux/probcli.sh
+++ /dev/null
@@ -1,18 +0,0 @@
-#!/bin/bash
-PROBCOMMAND=probcli
-INTERRUPT_COMMAND=send_user_interrupt
-
-
-# Shell wrapper for PROBCOMMAND
-
-echo "Running ProB Command-line Interface"
-echo "$PROBCOMMAND" "$@"
-
-# dirname
-dirname=`dirname "$0"`
-
-ulimit -d unlimited
-
-chmod a+x "$dirname/$PROBCOMMAND"
-chmod a+x "$dirname/$INTERRUPT_COMMAND"
-exec "$dirname/$PROBCOMMAND" "$@"
diff --git a/de.prob.core/prob/linux/send_user_interrupt b/de.prob.core/prob/linux/send_user_interrupt
deleted file mode 100755
index 7f321c3ee9935ddfe83ec8d717b36bc826893ff6..0000000000000000000000000000000000000000
Binary files a/de.prob.core/prob/linux/send_user_interrupt and /dev/null differ
diff --git a/de.prob.core/prob/linux64/build_info.txt b/de.prob.core/prob/linux64/build_info.txt
deleted file mode 100644
index 11b9fcfa1f566bd1e991c87defcab521fa9a96f9..0000000000000000000000000000000000000000
--- a/de.prob.core/prob/linux64/build_info.txt
+++ /dev/null
@@ -1,4 +0,0 @@
-
-		Revision: 9938
-		January 17 2012 - 1948
-     
\ No newline at end of file
diff --git a/de.prob.core/prob/linux64/lib/graphiso.so b/de.prob.core/prob/linux64/lib/graphiso.so
deleted file mode 100644
index ba2a5cbe43f72a5d77fcb1389527a9f5630b1d40..0000000000000000000000000000000000000000
Binary files a/de.prob.core/prob/linux64/lib/graphiso.so and /dev/null differ
diff --git a/de.prob.core/prob/linux64/lib/ltlc.so b/de.prob.core/prob/linux64/lib/ltlc.so
deleted file mode 100644
index 9ffd67c1afac43c6a40f55d791562b34816915a7..0000000000000000000000000000000000000000
Binary files a/de.prob.core/prob/linux64/lib/ltlc.so and /dev/null differ
diff --git a/de.prob.core/prob/linux64/lib/user_signal.so b/de.prob.core/prob/linux64/lib/user_signal.so
deleted file mode 100644
index 321b53945170582d452ea331b8446cb695c68615..0000000000000000000000000000000000000000
Binary files a/de.prob.core/prob/linux64/lib/user_signal.so and /dev/null differ
diff --git a/de.prob.core/prob/linux64/probcli b/de.prob.core/prob/linux64/probcli
deleted file mode 100644
index 911582d99d46e001688e4706f051a0d739e54225..0000000000000000000000000000000000000000
Binary files a/de.prob.core/prob/linux64/probcli and /dev/null differ
diff --git a/de.prob.core/prob/linux64/probcli.sh b/de.prob.core/prob/linux64/probcli.sh
deleted file mode 100644
index 9611d3df6b8a0d0b2799921cc4fa5ca6a55bb41b..0000000000000000000000000000000000000000
--- a/de.prob.core/prob/linux64/probcli.sh
+++ /dev/null
@@ -1,18 +0,0 @@
-#!/bin/bash
-PROBCOMMAND=probcli
-INTERRUPT_COMMAND=send_user_interrupt
-
-
-# Shell wrapper for PROBCOMMAND
-
-echo "Running ProB Command-line Interface"
-echo "$PROBCOMMAND" "$@"
-
-# dirname
-dirname=`dirname "$0"`
-
-ulimit -d unlimited
-
-chmod a+x "$dirname/$PROBCOMMAND"
-chmod a+x "$dirname/$INTERRUPT_COMMAND"
-exec "$dirname/$PROBCOMMAND" "$@"
diff --git a/de.prob.core/prob/linux64/send_user_interrupt b/de.prob.core/prob/linux64/send_user_interrupt
deleted file mode 100644
index 7dc8be7365939c369e93830b85a02212024c9c8a..0000000000000000000000000000000000000000
Binary files a/de.prob.core/prob/linux64/send_user_interrupt and /dev/null differ
diff --git a/de.prob.core/prob/macos/build_info.txt b/de.prob.core/prob/macos/build_info.txt
deleted file mode 100644
index f107787dc1bd23605ac9c7c8dfad51e60086fd97..0000000000000000000000000000000000000000
--- a/de.prob.core/prob/macos/build_info.txt
+++ /dev/null
@@ -1,4 +0,0 @@
-
-		Revision: 9938
-		January 17 2012 - 2002
-     
\ No newline at end of file
diff --git a/de.prob.core/prob/macos/lib/graphiso.bundle b/de.prob.core/prob/macos/lib/graphiso.bundle
deleted file mode 100644
index fdd67300b6260bc98ac9cf3437dcf58f373078e8..0000000000000000000000000000000000000000
Binary files a/de.prob.core/prob/macos/lib/graphiso.bundle and /dev/null differ
diff --git a/de.prob.core/prob/macos/lib/ltlc.bundle b/de.prob.core/prob/macos/lib/ltlc.bundle
deleted file mode 100644
index 30fca6092ba337e873d441ccc84bb8dcc48f81e1..0000000000000000000000000000000000000000
Binary files a/de.prob.core/prob/macos/lib/ltlc.bundle and /dev/null differ
diff --git a/de.prob.core/prob/macos/lib/user_signal.bundle b/de.prob.core/prob/macos/lib/user_signal.bundle
deleted file mode 100644
index 0f9237b7936ba91ca2cefc88de607103e553700e..0000000000000000000000000000000000000000
Binary files a/de.prob.core/prob/macos/lib/user_signal.bundle and /dev/null differ
diff --git a/de.prob.core/prob/macos/probcli b/de.prob.core/prob/macos/probcli
deleted file mode 100644
index 3d9def99af8549a69f0f1d90b56165cc245da654..0000000000000000000000000000000000000000
Binary files a/de.prob.core/prob/macos/probcli and /dev/null differ
diff --git a/de.prob.core/prob/macos/probcli.sh b/de.prob.core/prob/macos/probcli.sh
deleted file mode 100644
index 9611d3df6b8a0d0b2799921cc4fa5ca6a55bb41b..0000000000000000000000000000000000000000
--- a/de.prob.core/prob/macos/probcli.sh
+++ /dev/null
@@ -1,18 +0,0 @@
-#!/bin/bash
-PROBCOMMAND=probcli
-INTERRUPT_COMMAND=send_user_interrupt
-
-
-# Shell wrapper for PROBCOMMAND
-
-echo "Running ProB Command-line Interface"
-echo "$PROBCOMMAND" "$@"
-
-# dirname
-dirname=`dirname "$0"`
-
-ulimit -d unlimited
-
-chmod a+x "$dirname/$PROBCOMMAND"
-chmod a+x "$dirname/$INTERRUPT_COMMAND"
-exec "$dirname/$PROBCOMMAND" "$@"
diff --git a/de.prob.core/prob/macos/send_user_interrupt b/de.prob.core/prob/macos/send_user_interrupt
deleted file mode 100644
index 25324629cdfad0ce76ee2487434653941b765c0e..0000000000000000000000000000000000000000
Binary files a/de.prob.core/prob/macos/send_user_interrupt and /dev/null differ
diff --git a/de.prob.core/prob/windows/Microsoft.VC80.CRT/Microsoft.VC80.CRT.manifest b/de.prob.core/prob/windows/Microsoft.VC80.CRT/Microsoft.VC80.CRT.manifest
deleted file mode 100644
index b89cafd782e558d92139f5ec00bb6f17c71ee5df..0000000000000000000000000000000000000000
--- a/de.prob.core/prob/windows/Microsoft.VC80.CRT/Microsoft.VC80.CRT.manifest
+++ /dev/null
@@ -1,8 +0,0 @@
-<?xml version="1.0" encoding="UTF-8" standalone="yes"?>
-<assembly xmlns="urn:schemas-microsoft-com:asm.v1" manifestVersion="1.0">
-    <noInheritable></noInheritable>
-    <assemblyIdentity type="win32" name="Microsoft.VC80.CRT" version="8.0.50727.762" processorArchitecture="x86" publicKeyToken="1fc8b3b9a1e18e3b"></assemblyIdentity>
-    <file name="msvcr80.dll" hash="10f4cb2831f1e9288a73387a8734a8b604e5beaa" hashalg="SHA1"><asmv2:hash xmlns:asmv2="urn:schemas-microsoft-com:asm.v2" xmlns:dsig="http://www.w3.org/2000/09/xmldsig#"><dsig:Transforms><dsig:Transform Algorithm="urn:schemas-microsoft-com:HashTransforms.Identity"></dsig:Transform></dsig:Transforms><dsig:DigestMethod Algorithm="http://www.w3.org/2000/09/xmldsig#sha1"></dsig:DigestMethod><dsig:DigestValue>n9On8FItNsK/DmT8UQxu6jYDtWQ=</dsig:DigestValue></asmv2:hash></file>
-    <file name="msvcp80.dll" hash="b2082dfd3009365c5b287448dcb3b4e2158a6d26" hashalg="SHA1"><asmv2:hash xmlns:asmv2="urn:schemas-microsoft-com:asm.v2" xmlns:dsig="http://www.w3.org/2000/09/xmldsig#"><dsig:Transforms><dsig:Transform Algorithm="urn:schemas-microsoft-com:HashTransforms.Identity"></dsig:Transform></dsig:Transforms><dsig:DigestMethod Algorithm="http://www.w3.org/2000/09/xmldsig#sha1"></dsig:DigestMethod><dsig:DigestValue>0KJ/VTwP4OUHx98HlIW2AdW1kuY=</dsig:DigestValue></asmv2:hash></file>
-    <file name="msvcm80.dll" hash="542490d0fcf8615c46d0ca487033ccaeb3941f0b" hashalg="SHA1"><asmv2:hash xmlns:asmv2="urn:schemas-microsoft-com:asm.v2" xmlns:dsig="http://www.w3.org/2000/09/xmldsig#"><dsig:Transforms><dsig:Transform Algorithm="urn:schemas-microsoft-com:HashTransforms.Identity"></dsig:Transform></dsig:Transforms><dsig:DigestMethod Algorithm="http://www.w3.org/2000/09/xmldsig#sha1"></dsig:DigestMethod><dsig:DigestValue>YJuB+9Os2oxW4mY+2oC/r8lICZE=</dsig:DigestValue></asmv2:hash></file>
-</assembly>
\ No newline at end of file
diff --git a/de.prob.core/prob/windows/Microsoft.VC80.CRT/msvcm80.dll b/de.prob.core/prob/windows/Microsoft.VC80.CRT/msvcm80.dll
deleted file mode 100644
index c751385bde3d0d6d43b546e7b25c153cfa52ae7a..0000000000000000000000000000000000000000
Binary files a/de.prob.core/prob/windows/Microsoft.VC80.CRT/msvcm80.dll and /dev/null differ
diff --git a/de.prob.core/prob/windows/Microsoft.VC80.CRT/msvcp80.dll b/de.prob.core/prob/windows/Microsoft.VC80.CRT/msvcp80.dll
deleted file mode 100644
index f0b52ebf127ea7dd6a75e4bfc4ca8358336587bd..0000000000000000000000000000000000000000
Binary files a/de.prob.core/prob/windows/Microsoft.VC80.CRT/msvcp80.dll and /dev/null differ
diff --git a/de.prob.core/prob/windows/Microsoft.VC80.CRT/msvcr80.dll b/de.prob.core/prob/windows/Microsoft.VC80.CRT/msvcr80.dll
deleted file mode 100644
index 53c005efc16042c569d956d3d6ea6793f702dd03..0000000000000000000000000000000000000000
Binary files a/de.prob.core/prob/windows/Microsoft.VC80.CRT/msvcr80.dll and /dev/null differ
diff --git a/de.prob.core/prob/windows/build_info.txt b/de.prob.core/prob/windows/build_info.txt
deleted file mode 100644
index ccc0f9c5d1f27f96c32b7bd76cb94a2ebc07cb60..0000000000000000000000000000000000000000
--- a/de.prob.core/prob/windows/build_info.txt
+++ /dev/null
@@ -1,4 +0,0 @@
-
-		Last build: ${build} Revision: 9938
-		January 17 2012
-  
\ No newline at end of file
diff --git a/de.prob.core/prob/windows/lib/graphiso.dll b/de.prob.core/prob/windows/lib/graphiso.dll
deleted file mode 100644
index 806da6ee6b1d44f5e1cc3149a42ec98f4e5b1d69..0000000000000000000000000000000000000000
Binary files a/de.prob.core/prob/windows/lib/graphiso.dll and /dev/null differ
diff --git a/de.prob.core/prob/windows/lib/ltlc.dll b/de.prob.core/prob/windows/lib/ltlc.dll
deleted file mode 100644
index 6f97e65670e7e998de08c26f0a9c61941820e837..0000000000000000000000000000000000000000
Binary files a/de.prob.core/prob/windows/lib/ltlc.dll and /dev/null differ
diff --git a/de.prob.core/prob/windows/lib/user_signal.dll b/de.prob.core/prob/windows/lib/user_signal.dll
deleted file mode 100644
index bcb60340c3ff624144af8601e1fc1b91ef100090..0000000000000000000000000000000000000000
Binary files a/de.prob.core/prob/windows/lib/user_signal.dll and /dev/null differ
diff --git a/de.prob.core/prob/windows/probcli.exe b/de.prob.core/prob/windows/probcli.exe
deleted file mode 100644
index a35cd566609afa7bdafebcb611ff81429a631e4c..0000000000000000000000000000000000000000
Binary files a/de.prob.core/prob/windows/probcli.exe and /dev/null differ
diff --git a/de.prob.core/prob/windows/send_user_interrupt.exe b/de.prob.core/prob/windows/send_user_interrupt.exe
deleted file mode 100644
index 89c59203ddbcfcdbf52e89ee884a1ac874a00878..0000000000000000000000000000000000000000
Binary files a/de.prob.core/prob/windows/send_user_interrupt.exe and /dev/null differ