#133 ProB does not install on the RODIN platform

[Farhad Mehta]

While trying to contact the update site for ProB, I get the following message:

Unable to access "http://www.stups.uni-dusseldorf.de/prob/update/prototype"
Server returned HTTP response code: "404 Not Found" ...

Farhad

[Jens Bendisposto]

Logged In: YES
user_id=1539579
Originator: NO

The correct URL is http://www.stups.uni-duesseldorf.de/prob/update/prototype