diff --git a/README.md b/README.md
index 30a0729ee990004c63abaf6f1ac3fe8be1a712ac..b67f572249d646bb6cc8c4c00fcf5fbb1c4a5718 100644
--- a/README.md
+++ b/README.md
@@ -1,10 +1,10 @@
-<img src="https://github.com/bendisposto/prob/raw/develop/logo.png" width="500" align="center">
+<img src="https://github.com/hhu-stups/prob-rodinplugin/raw/develop/logo.png" width="500" align="center">
 
-[![Build Status](https://travis-ci.org/bendisposto/prob.svg?branch=develop)](https://travis-ci.org/bendisposto/prob)
+[![Build Status](https://travis-ci.org/hhu-stups/prob-rodinplugin.svg?branch=develop)](https://travis-ci.org/hhu-stups/prob-rodinplugin)
 
 # The ProB Model Checker and Animator
 
-[![Build Status](https://travis-ci.org/bendisposto/prob.svg?branch=develop)](https://travis-ci.org/bendisposto/prob)
+[![Build Status](https://travis-ci.org/hhu-stups/prob-rodinplugin.svg?branch=develop)](https://travis-ci.org/hhu-stups/prob-rodinplugin)
 
 The ProB source code is distributed under the EPL license (http://www.eclipse.org/org/documents/epl-v10.html).
 (C) 2000-2019 Michael Leuschel and many others.
diff --git a/de.prob.ui/MF b/de.prob.ui/MF
new file mode 100644
index 0000000000000000000000000000000000000000..1c19974648a95f37da417f1605a602970b0aeb3d
--- /dev/null
+++ b/de.prob.ui/MF
@@ -0,0 +1,20 @@
+Manifest-Version: 1.0
+Bundle-ManifestVersion: 2
+Bundle-Name: ProB Ui Plug-in
+Bundle-SymbolicName: de.prob.ui;singleton:=true
+Bundle-Version: 7.4.2.qualifier
+Require-Bundle: org.eclipse.ui;bundle-version="[3.5.0,4.0.0)",
+ org.eclipse.core.runtime;bundle-version="[3.5.0,4.0.0)",
+ org.eclipse.core.resources;bundle-version="[3.5.0,4.0.0)",
+ org.eclipse.ui.ide;bundle-version="[3.5.0,4.0.0)",
+ de.prob.core;bundle-version="[9.4.0,9.5.0)",
+ org.eventb.core;bundle-version="[3.0.0,4.0.0)",
+ org.eclipse.core.expressions;bundle-version="[3.4.101,4.0.0)",
+ org.eclipse.gef;bundle-version="[3.7.0,4.0.0)",
+ org.eventb.core.ast;bundle-version="[3.0.0,4.0.0)",
+ org.rodinp.core;bundle-version="[1.7.0,1.8.0)"
+Bundle-ActivationPolicy: lazy
+Bundle-Vendor: HHU Düsseldorf STUPS Group
+Bundle-Activator: de.prob.ui.ProbUiPlugin
+Bundle-RequiredExecutionEnvironment: JavaSE-1.8
+Export-Package: de.prob.ui