Below are details for releases 1.7.0 back to 1.3.1. If you are interested in earlier releases, please have a look at the Download directory.
| Platform | Release Date | Download | Dependencies |
|---|---|---|---|
| 1.7.0-final | |||
| Linux | 11. July 2017 | Tarball (with probcli) (32bit), Tarball (with probcli) (64bit) |
Java Runtime Environment (7.0 or newer), Tcl/Tk 8.5 |
| Windows | 11. July 2017 | Zipfile (with probcli) (32bit), Zipfile (with probcli) (64bit) |
Tcl/Tk 8.5 for Windows,
Java Runtime Environment (7.0 or newer), Windows Installation Instructions GraphViz |
| OS X | 11. July 2017 | Tarball (with probcli) (64bit) Homebrew Tap | OS X 10.11 (El Capitain) recommended, Tcl/TK 8.5,
Java Runtime Environment or better Java JDK (7.0 or newer), Graphviz for Mac OS X |
| Platform | Release Date | Download | Dependencies |
|---|---|---|---|
| 1.6.1-final | |||
| Linux | 22. April 2016 | Tarball (with probcli) (32bit), Tarball (with probcli) (64bit) |
Java Runtime Environment (7.0 or newer), Tcl/Tk 8.5 |
| Windows | 22. April 2016 | Zipfile (with probcli) (32bit), Zipfile (with probcli) (64bit) |
Tcl/Tk 8.5 for Windows,
Java Runtime Environment (7.0 or newer), Windows Installation Instructions GraphViz |
| OS X | 22. April 2016 | Tarball (with probcli) (64bit) Homebrew Tap | OS X 10.11 (El Capitain) recommended, Tcl/TK 8.5,
Java Runtime Environment or better Java JDK (7.0 or newer), Graphviz for Mac OS X |
| Platform | Release Date | Download | Dependencies |
|---|---|---|---|
| 1.6.0-SR1 | |||
| Linux | 22. April 2016 | Tarball (with probcli) (32bit), Tarball (with probcli) (64bit) |
Java Runtime Environment (7.0 or newer), Tcl/Tk 8.5 |
| Windows | 22. April 2016 | Zipfile (with probcli) (32bit), Zipfile (with probcli) (64bit) |
Tcl/Tk 8.5 for Windows,
Java Runtime Environment (7.0 or newer), Windows Installation Instructions |
| OS X | 22. April 2016 | Tarball (with probcli) (64bit) Homebrew Tap | OS X 10.11 (El Capitain) recommended, Tcl/TK 8.5,
Java Runtime Environment or better Java JDK (7.0 or newer), Graphviz for Mac OS X |
| 1.5.0-final | |||
| Linux | 19. February 2015 | Tarball (with probcli) (32bit), Tarball (with probcli) (64bit) |
Java Runtime Environment (7.0 or newer), Tcl/Tk 8.5 |
| Windows | 19. February 2015 | Zipfile (with probcli) (32bit), Zipfile (with probcli) (64bit) |
Tcl/Tk 8.5 for Windows,
Java Runtime Environment (7.0 or newer), Windows Installation Instructions |
| OS X | 19. February 2015 | Tarball (with probcli) (64bit) Homebrew Tap | Tcl/TK 8.5
Java Runtime Environment or better Java JDK (7.0 or newer) Graphviz for Mac OS X |
| 1.3.6-final | |||
| Linux | 4. March 2013 | Tarball (32bit), Tarball (64bit), |
Java Runtime Environment (5.0 or newer), Tcl/Tk 8.5 |
| Windows | 4. March 2013 | Zipfile (with probcli) | Tcl/Tk 8.5 for Windows,
Java Runtime Environment (5.0 or newer), Windows Installation Instructions |
| Mac OS X, Snow Leopard, Intel (64-bit) | 4. March 2013 | Tarball (with probcli) | Tcl/TK 8.5 (do not use version 8.5.12.0, use 8.5.11 or use at least 8.5.13) |
| Mac OS X, Leopard, Intel (32-bit) | 4. March 2013 | Tarball (with probcli) | Tcl/TK 8.5 (do not use version 8.5.12.0, use 8.5.11), |
| 1.3.5-final | |||
| Linux | 11. Oct 2012 | Tarball (32bit), Tarball (64bit), |
Java Runtime Environment (5.0 or newer), Tcl/Tk 8.5 |
| Windows | 11. Oct 2012 | Zipfile (with probcli) | Tcl/Tk 8.5 for Windows,
Java Runtime Environment (5.0 or newer), Windows Installation Instructions |
| Mac OS X, Snow Leopard, Intel (64-bit) | 11. Oct 2012 | Tarball (with probcli) | Tcl/TK 8.5 (do not use version 8.5.12.0, use 8.5.11 or use at least 8.5.13) |
| Mac OS X, Leopard, Intel (32-bit) | 11. Oct 2012 | Tarball (with probcli) | Tcl/TK 8.5 (do not use version 8.5.12.0, use 8.5.11), |
| Mac OS X, Lion, Intel (64-bit) | 11. Oct 2012 | Zipfile (with probcli) | Tcl/TK 8.6, |
| 1.3.4-final | |||
| Linux | 27. Nov 2011 | Tarball (32bit), Tarball (64bit), |
Java Runtime Environment (5.0 or newer), Tcl/Tk 8.5 with tklib (see below) |
| Windows | 27. Nov 2011 | Zipfile (with probcli) | Tcl/Tk 8.5 for Windows with tklib (see below), |
| Mac OS X, Snow Leopard, Intel (64-bit) | 27. Nov 2011 | Tarball (with probcli) | Tcl/TK 8.5, |
| Mac OS X, Leopard, Intel (32-bit) | 27. 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, |
Note: for version 1.3.3 on Snow Leopard (Mac OS X 10.6.x) you have to install a corrected version of Tcl/Tk (the distribution provided by Apple is broken). In version 1.3.4 we managed to circumvent the bug.
ProB 1.3.4 requires the text module from tklib. This should come pre-installed on Mac and often on Windows as well (see below). 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. On Windows, 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 you may have to install tklib. This library can be installed on Windows with Teacup by typing
teacup install tklib85
into the Command Prompt, when you are logged in as an administrator.
On Snow Leopard (Mac OS X 10.6.x) you have to install Tcl/Tk as indicated above for ProB 1.3.3.