From bdc3b1ce6c55e86efdf0a02b10bf852c7bcf74a2 Mon Sep 17 00:00:00 2001 From: Michael Leuschel <leuschel@cs.uni-duesseldorf.de> Date: Mon, 25 Nov 2019 17:29:54 +0100 Subject: [PATCH] update Readme to point to correct Travis location --- README.md | 6 +++--- de.prob.ui/MF | 20 ++++++++++++++++++++ 2 files changed, 23 insertions(+), 3 deletions(-) create mode 100644 de.prob.ui/MF diff --git a/README.md b/README.md index 30a0729e..b67f5722 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"> -[](https://travis-ci.org/bendisposto/prob) +[](https://travis-ci.org/hhu-stups/prob-rodinplugin) # The ProB Model Checker and Animator -[](https://travis-ci.org/bendisposto/prob) +[](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 00000000..1c199746 --- /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 -- GitLab