(→Tcl/Tk) |
No edit summary |
||
| Line 1: | Line 1: | ||
__NOTOC__ | |||
== Latest Release == | == Latest Release == | ||
| Line 95: | Line 96: | ||
== Tcl/Tk == | == Tcl/Tk == | ||
Please note that Tcl/Tk 8.6 is not yet supported by SICStus Prolog. Also note that on Mac OS X you may have to reinstall Tcl/Tk using one of the links given above (because the Tcl/Tk provided by Apple crashes after opening a file using the standard file selection dialog). On Snow Leopard (Mac OS X 10.6.x) you <b>have</b> to install Tcl/Tk as indicated above. | Please note that Tcl/Tk 8.6 is not yet supported by SICStus Prolog. Also note that on Mac OS X you may have to reinstall Tcl/Tk using one of the links given above (because the Tcl/Tk provided by Apple crashes after opening a file using the standard file selection dialog). On Snow Leopard (Mac OS X 10.6.x) you <b>have</b> to install Tcl/Tk as indicated above. | ||
== Nightly Build == | |||
You can download our nightly integration build from [http://www.stups.uni-duesseldorf.de/~jenkins/tcl/ here]. | |||
== Earlier Releases == | == Earlier Releases == | ||
If you are interested in earlier releases, please have a look at the [http://www.stups.uni-duesseldorf.de/ProB_Releases/ Download directory]. | If you are interested in earlier releases, please have a look at the [http://www.stups.uni-duesseldorf.de/ProB_Releases/ Download directory]. | ||
Note: please use the provided start scripts (StartProB.sh or StartProBWin.bat) to start ProB.
| Platform | Release Date | Download | Dependencies |
|---|---|---|---|
| 1.3.3-final | |||
| Linux | 10.02.2011 | Tarball (32bit), Tarball (64bit), Ubuntu/Debian package (32bit) |
Java Runtime Environment (5.0 or newer), Tcl/Tk 8.5 |
| Windows | 10.02.2011 | Zipfile (with probcli) | Tcl/Tk 8.4 for Windows, |
| Mac OS X, Snow Leopard, Intel | 10.02.2011 | Tarball (with probcli) | Tcl/TK 8.5, |
| Mac OS X, Leopard, Intel | 10.02.2011 | Tarball (with probcli) | Tcl/TK 8.5, |
| 1.3.2-final | |||
| Linux | 30.07.2010 | Tarball (32bit), Tarball (64bit), Ubuntu/Debian package (32bit) |
Java Runtime Environment (5.0 or newer), Tcl/Tk 8.5 |
| Windows | 30.07.2010 | Zipfile (with probcli) | Tcl/Tk 8.4 for Windows, |
| Mac OS X, Snow Leopard, Intel | 30.07.2010 | Tarball (with probcli) | Tcl/TK 8.5, |
| Mac OS X, Leopard, Intel | 30.07.2010 | Tarball (with probcli) | Tcl/TK 8.5, |
| Mac OS X, Tiger, Intel | 30.07.2010 | Tarball (with probcli) | Tcl/TK 8.4, |
| 1.3.1-final | |||
| 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, |
Please note that Tcl/Tk 8.6 is not yet supported by SICStus Prolog. Also note that on Mac OS X you may have to reinstall Tcl/Tk using one of the links given above (because the Tcl/Tk provided by Apple crashes after opening a file using the standard file selection dialog). On Snow Leopard (Mac OS X 10.6.x) you have to install Tcl/Tk as indicated above.
You can download our nightly integration build from here.
If you are interested in earlier releases, please have a look at the Download directory.