No edit summary |
|||
Line 6: | Line 6: | ||
* 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 [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: | ||
[[File:ProBWindowsDownload.png|center]] | [[File:ProBWindowsDownload.png|center||600px]] | ||
=== Install Tcl/Tk 8.5 === | === Install Tcl/Tk 8.5 === |
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.