DownloadPriorVersions: Difference between revisions

Revision as of 07:49, 30 July 2014

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.

Revision as of 07:49, 30 July 2014 (view source) Michael Leuschel (talk \| contribs) No edit summary ← Older edit		Revision as of 07:49, 30 July 2014 (view source) Michael Leuschel (talk \| contribs) No edit summary Newer edit →
Line 141:		Line 141:
	\|}		\|}

	Note: for version 1.3.3 on Snow Leopard (Mac OS X 10.6.x) you have to install a [http://www.activestate.com/activetcl/downloads/ corrected version of Tcl/Tk] ~~as indicated above~~ (the distribution provided by Apple is broken). In version 1.3.4 we managed to circumvent the bug.		Note: for version 1.3.3 on Snow Leopard (Mac OS X 10.6.x) you have to install a [http://www.activestate.com/activetcl/downloads/ corrected version of Tcl/Tk] (the distribution provided by Apple is broken). In version 1.3.4 we managed to circumvent the bug.