No edit summary |
|||
| Line 14: | Line 14: | ||
| Linux | | Linux | ||
| 10.02.2011 | | 10.02.2011 | ||
| [http:// | | [http://stups.cs.uni-duesseldorf.de/ProB_Releases/1.3.3/ProB.linux.tar.gz Tarball (32bit)],<br/>[http://stups.cs.uni-duesseldorf.de/ProB_Releases/1.3.3/ProB.linux64.tar.gz Tarball (64bit)],<br/>[http://stups.cs.uni-duesseldorf.de/ProB_Releases/1.3.3/prob_1.3.3_i386.deb Ubuntu/Debian package (32bit)] | ||
| Java Runtime Environment (5.0 or newer), Tcl/Tk 8.5 | | Java Runtime Environment (5.0 or newer), Tcl/Tk 8.5 | ||
|- | |- | ||
| Windows | | Windows | ||
| 10.02.2011 | | 10.02.2011 | ||
| [http:// | | [http://stups.cs.uni-duesseldorf.de/ProB_Releases/1.3.3/ProB.windows.32bit.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], | ||
[http://java.com/en/ Java Runtime Environment (5.0 or newer)] | [http://java.com/en/ Java Runtime Environment (5.0 or newer)] | ||
| Line 25: | Line 25: | ||
| Mac OS X, Snow Leopard, Intel | | Mac OS X, Snow Leopard, Intel | ||
| 10.02.2011 | | 10.02.2011 | ||
| [http:// | | [http://stups.cs.uni-duesseldorf.de/ProB_Releases/1.3.3/ProB.mac_os.10.6.6.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], | ||
[http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X] | [http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X] | ||
| Line 31: | Line 31: | ||
| Mac OS X, Leopard, Intel | | Mac OS X, Leopard, Intel | ||
| 10.02.2011 | | 10.02.2011 | ||
| [http:// | | [http://stups.cs.uni-duesseldorf.de/ProB_Releases/1.3.3/ProB.mac_os.10.5.8.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], | ||
[http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X] | [http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X] | ||
| Line 39: | Line 39: | ||
| Mac OS X, Tiger, Intel | | Mac OS X, Tiger, Intel | ||
| 30.07.2010 | | 30.07.2010 | ||
| [http:// | | [http://stups.cs.uni-duesseldorf.de/ProB_Releases/1.3.2/ProB_tiger_intel.tar.gz Tarball (with probcli)] | ||
| [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.4], | | [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.4], | ||
[http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X] | [http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X] | ||
| Line 48: | Line 48: | ||
| Linux | | Linux | ||
| 13.01.2010 | | 13.01.2010 | ||
| [http:// | | [http://stups.cs.uni-duesseldorf.de/ProB_Releases/1.3.1final5/ProB-linux-1.3.1final5.tar.gz Tarball] | ||
| Java Runtime Environment (5.0 or newer), Tcl/Tk 8.4 | | Java Runtime Environment (5.0 or newer), Tcl/Tk 8.4 | ||
|- | |- | ||
| Mac OS X, PPC Tiger | | Mac OS X, PPC Tiger | ||
| 07.12.2009 | | 07.12.2009 | ||
| [http:// | | [http://stups.cs.uni-duesseldorf.de/ProB_Releases/1.3.1final3/ProB-ppctiger-1.3.1final3.tar.gz Tarball] | ||
| [http://www.tcl.tk/software/tcltk/8.5.html Tcl/TK 8.5], | | [http://www.tcl.tk/software/tcltk/8.5.html Tcl/TK 8.5], | ||
[http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X] | [http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X] | ||
| Line 62: | Line 62: | ||
== Nightly Build == | == Nightly Build == | ||
You can download our nightly integration build from [http:// | You can download our nightly integration build from [http://stups.cs.uni-duesseldorf.de/~jenkins/tcl/ here]. | ||
== Earlier Releases == | == Earlier Releases == | ||
If you are interested in earlier releases, please have a look at the [http:// | If you are interested in earlier releases, please have a look at the [http://stups.cs.uni-duesseldorf.de/ProB_Releases/ Download directory]. | ||
Note: please use the provided start scripts (StartProB.sh or StartProBWin.bat) to start ProB. On Snow Leopard (Mac OS X 10.6.x) you have to install a corrected version of Tcl/Tk as indicated below (the distribution provided by Apple is broken).
| 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 | |||
| Mac OS X, Tiger, Intel | 30.07.2010 | Tarball (with probcli) | Tcl/TK 8.4, |
| 1.3.1-final | |||
| Linux | 13.01.2010 | Tarball | Java Runtime Environment (5.0 or newer), Tcl/Tk 8.4 |
| 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.