Line 30: | Line 30: | ||
=== Download the ProB for Windows Zipfile === | === Download the ProB for Windows Zipfile === | ||
* Click on the "[http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.5/ProB.windows.32bit.zip 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: | ||
Windows Specific Download Instructions
If Tcl/Tk 8.5 is already installed you can skip this step. Note: you need to install the 32-bit version of Tcl/Tk, even on 64-bit systems.
If Java 5 or newer is already installed you can skip this step.
The subfolder called "Microsoft.VC80.CRT" contains the DLLs for the Microsoft C runtime.