No edit summary |
No edit summary |
||
| Line 1: | Line 1: | ||
Here are the information we have shown you at the tutorial. If you want to follow this tutorial on your computer you will have to install ProB 2.0 and start an animation. For this tutorial we use a | Here are the information we have shown you at the tutorial. If you want to follow this tutorial on your computer you will have to install ProB 2.0 and start an animation. For this tutorial we use a [[media:Scheduler_tutorial2013.zip|simple scheduler example]]. | ||
== Setup == | == Setup == | ||
Here are the information we have shown you at the tutorial. If you want to follow this tutorial on your computer you will have to install ProB 2.0 and start an animation. For this tutorial we use a simple scheduler example.
You will need a fresh copy of ProB 2.0 installed to your Rodin or the sourcecode.
The update site for our builds is: http://nightly.cobra.cs.uni-duesseldorf.de/experimental/updatesite/
The sourcecode repository and a description how to setup your Eclipse: https://github.com/bendisposto/prob2
Please note that no matter which installation method you chose, you need to fetch the latest Prolog binaries. The easiest way is to type upgrade latest into the ProB 2.0 Groovy console.