DownloadPriorVersions

Prior Versions of ProB

Below are details for releases 1.3.6 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.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)

Graphviz for Mac OS X

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),

Graphviz for Mac OS X

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)

Graphviz for Mac OS X

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),

Graphviz for Mac OS X

Mac OS X, Lion, Intel (64-bit) 11. Oct 2012 Zipfile (with probcli) Tcl/TK 8.6,

Graphviz for Mac OS X

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),

Java Runtime Environment (5.0 or newer)

Mac OS X, Snow Leopard, Intel (64-bit) 27. Nov 2011 Tarball (with probcli) Tcl/TK 8.5,

Graphviz for Mac OS X

Mac OS X, Leopard, Intel (32-bit) 27. Nov 2011 Tarball (with probcli) Tcl/TK 8.5,

Graphviz for Mac OS X

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,

Java Runtime Environment (5.0 or newer)

Mac OS X, Snow Leopard, Intel 10. Feb 2011 Tarball (with probcli) Tcl/TK 8.5,

Graphviz for Mac OS X

Mac OS X, Leopard, Intel 10. Feb 2011 Tarball (with probcli) Tcl/TK 8.5,

Graphviz for Mac OS X

1.3.2-final
Mac OS X, Tiger, Intel 30. Jul 2010 Tarball (with probcli) Tcl/TK 8.4,

Graphviz for Mac OS X

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,

Graphviz for Mac OS X

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.