* Go to the page [http://www.stups.uni-duesseldorf.de/ProB/index.php5/Download http://www.stups.uni-duesseldorf.de/ProB/index.php5/Download], this should look as follows:
* Go to the page [[Download]], this should look as follows:
[[File:ProBWindowsDownload.png|center||600px]]
[[File:ProBWindowsDownload.png|center||600px]]
Line 27:
Line 27:
=== Download the ProB for Windows Zipfile ===
=== Download the ProB for Windows Zipfile ===
* Click on the "[http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.4.1/ProB.windows.zip Zipfile (with probcli)]" link in the [[Download|Download]] column and Windows row
* Click on the "Zipfile (with probcli)" link in the [[Download]] column and Windows row
* Decompress and expand the ProB directory if necessary. Do not change the location and structure of the files and directories within ProB (apart from the Machines directory)! The contents of the ProB directory should look something like this:
* Decompress and expand the ProB directory if necessary. Do not change the location and structure of the files and directories within ProB (apart from the Machines directory)! The contents of the ProB directory should look something like this:
Go to the page Download, this should look as follows:
Install Tcl/Tk 8.5
If Tcl/Tk 8.5 is already installed you can skip this step.
Click on the "Tcl/Tk 8.5 for Windows," link provided in the "Dependencies" column and the "Windows" row above
Choose the most recent Tcl/Tk 8.5 distribution available for windows; be sure to choose a version matching ProB, e.g. a 32-bit version (the file highlighted in blue below) if you want to use the 32-bit version of ProB.
Download and follow the installation instructions
Install Java
If Java 7 or newer is already installed you can skip this step.
Click on the "Zipfile (with probcli)" link in the Download column and Windows row
Decompress and expand the ProB directory if necessary. Do not change the location and structure of the files and directories within ProB (apart from the Machines directory)! The contents of the ProB directory should look something like this:
The subfolder called "Microsoft.VC80.CRT" contains the DLLs for the Microsoft C runtime.
Start ProB by double-clicking on the ProBWin icon above
Try to open some of the examples provided in the Examples folder shown above
Contact us if you have problems
Checklist/Troubleshooting
Java: be sure to have Java 1.7 or newer installed. Otherwise you will not be able to parse your own classical B machines as our parser is written in Java.
Tcl/Tk: be sure to have a matching version of TclTk 8.5 installed
In case you cannot start neither ProBWin nor probcli, you should to install the Microsoft Visual C++ 2005 Redistributable Package (x86) for yourself (rather than rely on the ones we provide in the "Microsoft.VC80.CRT" folder mentioned above).
Try starting ProBWin or probcli from the Windows Command Prompt; the error messages may help you or us uncover the problem
You can also try and obtain information from the main Windows Event/Error Log, by following these steps:
Click Start, and then click Control Panel.
Click Performance and Maintenance, then click Administrative Tools, and then double-click Computer Management. Or, open the MMC containing the Event Viewer snap-in.
In the console tree, expand Event Viewer, and then click the log that contains the event that you want to view.
In the details pane, double-click the event that you want to view.
The Event Properties dialog box containing header information and a description of the event is displayed.