| Line 12: | Line 12: | ||
|- | |- | ||
| Linux | | Linux | ||
| | | 18.03.2010 11.02.2010 | ||
| [http://www.stups.uni-duesseldorf.de/ProB_Releases/1.3.2/ProB_linux.tar.gz Tarball], | | [http://www.stups.uni-duesseldorf.de/ProB_Releases/1.3.2/ProB_linux.tar.gz Tarball], | ||
[http://www.stups.uni-duesseldorf.de/ProB_Releases/1.3.2/prob_1.3.2beta3_i386.deb Ubuntu / Debian package] | [http://www.stups.uni-duesseldorf.de/ProB_Releases/1.3.2/prob_1.3.2beta3_i386.deb Ubuntu / Debian package] | ||
| Line 18: | Line 18: | ||
|- | |- | ||
| Windows | | Windows | ||
| | | 18.03.2010 | ||
| [http://www.stups.uni-duesseldorf.de/ProB_Releases/1.3.2/ProB_Win.zip Zipfile (with probcli)] | | [http://www.stups.uni-duesseldorf.de/ProB_Releases/1.3.2/ProB_Win.zip Zipfile (with probcli)] | ||
| [http://downloads.activestate.com/ActiveTcl/releases/ Tcl/Tk 8.4 for Windows], | | [http://downloads.activestate.com/ActiveTcl/releases/ Tcl/Tk 8.4 for Windows], | ||
| Line 24: | Line 24: | ||
|- | |- | ||
| Mac OS X, Snow Leopard, Intel | | Mac OS X, Snow Leopard, Intel | ||
| | | 18.03.2010 | ||
| [http://www.stups.uni-duesseldorf.de/ProB_Releases/1.3.2/ProB_snowleopard.tar.gz Tarball (with probcli)] | | [http://www.stups.uni-duesseldorf.de/ProB_Releases/1.3.2/ProB_snowleopard.tar.gz Tarball (with probcli)] | ||
| [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5], | | [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5], | ||
Note: please use the provided start scripts (StartProB.sh or StartProBWin.bat) to start ProB.
| Platform | Release Date | Download | Dependencies |
|---|---|---|---|
| 1.3.2-beta | |||
| Linux | 18.03.2010 11.02.2010 | Tarball, | Java Runtime Environment (5.0 or newer), Tcl/Tk 8.4 |
| Windows | 18.03.2010 | Zipfile (with probcli) | Tcl/Tk 8.4 for Windows, |
| Mac OS X, Snow Leopard, Intel | 18.03.2010 | Tarball (with probcli) | Tcl/TK 8.5, |
| Mac OS X, Leopard, Intel | 19.02.2010 | Tarball | Tcl/TK 8.5, |
| Mac OS X, Tiger, Intel | 11.02.2010 | Tarball | Tcl/TK 8.4, |
| 1.3.1final | |||
| Mac OS X, Snow Leopard | 13.01.2010 | Tarball | Tcl/TK 8.5 (for Leopard), |
| Linux | 13.01.2010 | Tarball | Java Runtime Environment (5.0 or newer), Tcl/Tk 8.4 |
| Windows | 13.01.2010 | Zipfile | Tcl/Tk 8.4 for Windows, |
| Mac OS X, PPC Tiger | 07.12.2009 | Tarball | Tcl/TK 8.5, |
If you are interested in earlier releases, please have a look at the Download directory.