(1.3.4 - final) |
|||
| Line 9: | Line 9: | ||
! Download | ! Download | ||
! Dependencies | ! Dependencies | ||
|- | |||
| colspan="4" style="background-color:lightgrey;" | 1.3.4-final | |||
|- | |||
| Linux | |||
| 21. Nov 2011 | |||
| [http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.4/ProB.linux32.tar.gz Tarball (32bit)],<br/>[http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.4/ProB.linux64.tar.gz Tarball (64bit)],<br/> | |||
| Java Runtime Environment (5.0 or newer), Tcl/Tk 8.5 | |||
|- | |||
| Windows | |||
| 21. Nov 2011 | |||
| [http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.4/ProB.windows.32bit.zip Zipfile (with probcli)] | |||
| [http://downloads.activestate.com/ActiveTcl/releases/ Tcl/Tk 8.4 for Windows], | |||
[http://java.com/en/ Java Runtime Environment (5.0 or newer)] | |||
|- | |||
| Mac OS X, Snow Leopard, Intel | |||
| coming soon | |||
| <!-- [http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.4/ProB.mac_os.10.6.6.tar.gz Tarball (with probcli)] --> | |||
| [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5], | |||
[http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X] | |||
|- | |||
| Mac OS X, Leopard, Intel | |||
| 21. Nov 2011 | |||
| [http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.4/ProB.mac_os.10.5.8.tar.gz Tarball (with probcli)] | |||
| [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5], | |||
[http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X] | |||
|- | |- | ||
| colspan="4" style="background-color:lightgrey;" | 1.3.3-final | | colspan="4" style="background-color:lightgrey;" | 1.3.3-final | ||
|- | |- | ||
| Linux | | Linux | ||
| 10. | | 10. Feb 2011 | ||
| [http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.3/ProB.linux.tar.gz Tarball (32bit)],<br/>[http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.3/ProB.linux64.tar.gz Tarball (64bit)],<br/>[http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.3/prob_1.3.3_i386.deb Ubuntu/Debian package (32bit)] | | [http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.3/ProB.linux.tar.gz Tarball (32bit)],<br/>[http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.3/ProB.linux64.tar.gz Tarball (64bit)],<br/>[http://nightly.cobra.cs.uni-duesseldorf.de/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. | | 10. Feb 2011 | ||
| [http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.3/ProB.windows.32bit.zip Zipfile (with probcli)] | | [http://nightly.cobra.cs.uni-duesseldorf.de/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], | ||
| Line 24: | Line 49: | ||
|- | |- | ||
| Mac OS X, Snow Leopard, Intel | | Mac OS X, Snow Leopard, Intel | ||
| 10. | | 10. Feb 2011 | ||
| [http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.3/ProB.mac_os.10.6.6.tar.gz Tarball (with probcli)] | | [http://nightly.cobra.cs.uni-duesseldorf.de/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], | ||
| Line 30: | Line 55: | ||
|- | |- | ||
| Mac OS X, Leopard, Intel | | Mac OS X, Leopard, Intel | ||
| 10. | | 10. Feb 2011 | ||
| [http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.3/ProB.mac_os.10.5.8.tar.gz Tarball (with probcli)] | | [http://nightly.cobra.cs.uni-duesseldorf.de/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], | ||
| Line 38: | Line 63: | ||
|- | |- | ||
| Mac OS X, Tiger, Intel | | Mac OS X, Tiger, Intel | ||
| 30. | | 30. Jul 2010 | ||
| [http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.2/ProB_tiger_intel.tar.gz Tarball (with probcli)] | | [http://nightly.cobra.cs.uni-duesseldorf.de/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], | ||
| Line 47: | Line 72: | ||
|- | |- | ||
| Linux | | Linux | ||
| 13. | | 13. Jan 2010 | ||
| [http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.1final5/ProB-linux-1.3.1final5.tar.gz Tarball] | | [http://nightly.cobra.cs.uni-duesseldorf.de/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. | | 07. Dec 2009 | ||
| [http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.1final3/ProB-ppctiger-1.3.1final3.tar.gz Tarball] | | [http://nightly.cobra.cs.uni-duesseldorf.de/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], | ||
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.4-final | |||
| Linux | 21. Nov 2011 | Tarball (32bit), Tarball (64bit), |
Java Runtime Environment (5.0 or newer), Tcl/Tk 8.5 |
| Windows | 21. Nov 2011 | Zipfile (with probcli) | Tcl/Tk 8.4 for Windows, |
| Mac OS X, Snow Leopard, Intel | coming soon | Tcl/TK 8.5, | |
| Mac OS X, Leopard, Intel | 21. Nov 2011 | Tarball (with probcli) | Tcl/TK 8.5, |
| 1.3.3-final | |||
| Linux | 10. Feb 2011 | Tarball (32bit), Tarball (64bit), Ubuntu/Debian package (32bit) |
Java Runtime Environment (5.0 or newer), Tcl/Tk 8.5 |
| Windows | 10. Feb 2011 | Zipfile (with probcli) | Tcl/Tk 8.4 for Windows, |
| Mac OS X, Snow Leopard, Intel | 10. Feb 2011 | Tarball (with probcli) | Tcl/TK 8.5, |
| Mac OS X, Leopard, Intel | 10. Feb 2011 | Tarball (with probcli) | Tcl/TK 8.5, |
| 1.3.2-final | |||
| Mac OS X, Tiger, Intel | 30. Jul 2010 | Tarball (with probcli) | Tcl/TK 8.4, |
| 1.3.1-final | |||
| Linux | 13. Jan 2010 | Tarball | Java Runtime Environment (5.0 or newer), Tcl/Tk 8.4 |
| Mac OS X, PPC Tiger | 07. Dec 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.
The latest Tcl/Tk version of ProB requires the text module from tklib. This should come pre-installed on Mac and often on Windows as well. On Linux you need to install tklib. On Ubuntu just type sudo apt-get install tklib. If you used the Active Tcl distribution, you need to type
sudo /opt/ActiveTcl-8.5/bin/teacup install tklib85
on Linux.
Recently you can use ProB with Tcl/Tk 8.5 on Windows. If you have the older version of Tcl/Tk 8.4 you have to install the newer one 8.5 (you should be able to also keep the older version). For Windows we recommend installing ActiveTcl-8.5 (the win32-ix86-threaded version). ActiveTcl-8.5 installs an additional tool "Teacup", with which you can install Tcl/Tk library extensions like tcllib and tklib. To use the latest Tcl/Tk version of ProB may have to install tklib. This library can be then installed on Windows with Teacup by typing
teacup install tklib85
into the Command Prompt, when you are logged in as an administrator.
If you are interested in earlier releases, please have a look at the Download directory.