The old pages are still available in case you wish to download a release prior to 1.2.
Version 1.0 - First Major Release Released on March 15 2004 http://www.ecs.soton.ac.uk/~mal/systems/prob.html (C) 2000-2004 Michael Leuschel, DSSE, University of Southampton All rights reserved. Free for non-commercial, academic use or evaluation purposes. ProB comes with ABSOLUTELY NO WARRANTY OF ANY KIND ! This software is distributed in the hope that it will be useful but WITHOUT ANY WARRANTY. The author(s) do not accept responsibility to anyone for the consequences of using it or for whether it serves any particular purpose or works at all. No warranty is made about the software or its performance.
To compile your own B machines you also need Java runtime installed (http://java.sun.com/j2se/index.jsp or directly to http://java.sun.com/j2se/1.4.2/download.html to download the standard edition 1.4.2; on Mac and Linux Java is probably alrady installed).
drwxr-xr-x 7 mal staff 238 Mar 14 13:15 Machines drwxr-xr-x 6 mal staff 204 Mar 15 09:15 MyConsoleParser -rw-r--r-- 1 mal staff 2113 Mar 8 16:27 ProBLicence.txt -rwxr-xr-x 1 mal staff 3161305 Mar 14 14:44 ProBLinux.sh <--- architecture dependent -rw-r--r-- 1 mal staff 4204 Feb 29 17:38 ProBSummary.txt <--- no longer required as of 1.06 -rw-r--r-- 1 mal staff 2054 Mar 14 14:46 ProB_Preferences.pl drwxr-xr-x 4 mal staff 136 Mar 14 13:44 iconsNote: the MyConsoleParser directory contains parts of the jbtools library and is distributed with kind permission from Bruno Tatibouet, Université de Franche-Comté, France. Do not change the location and structure of the files and directories within the ProB directory (apart from the Machines directory) !
cd ..../ProB/ sicstus -r ProB.savOn Windows, first start the SICStus Prolog application and then set the Working Directory to your ProB directory and then restore the file ProB.sav. You may have to type "go.
Don't forget to look at the UPDATES sub-directory in the ProB Download section on the web, to see whether there is a newer version of the binary available. You can also use the "Check for Updates" command in the About menu.
See the FAQ.txt file for troubleshooting and frequently asked questions.