The ProB source code is distributed under the EPL license (http://www.eclipse.org/org/documents/epl-v10.html).
(C) 2000-2011 Michael Leuschel and many others.
...
...
@@ -40,6 +42,3 @@ The development repository for ProB 2.0 is avaliable from https://github.com/ben
- Open the file prob_target.target from the de.prob.core project and click on "Set as Target Platform". Grab a coffee.
- After the target platform was installed and the workspace has been compiled you can run the project as an Eclipse application (use org.rodinp.platform.product as the product in the run configuration)
