Download: Difference between revisions

Revision as of 14:57, 3 March 2010

Note: please use the provided start scripts (StartProB.sh or StartProBWin.bat) to start ProB.

Platform	Release Date	Download	Dependencies
1.3.2-beta
Linux	19.02.2010 11.02.2010	Tarball, Ubuntu / Debian package	Java Runtime Environment (5.0 or newer), Tcl/Tk 8.4
Windows	03.03.2010	Zipfile (with probcli)	Tcl/Tk 8.4 for Windows, Java Runtime Environment (5.0 or newer)
Mac OS X, Snow Leopard, Intel	03.03.2010	Tarball	Tcl/TK 8.5, Graphviz for Mac OS X
Mac OS X, Leopard, Intel	19.02.2010	Tarball	Tcl/TK 8.5, Graphviz for Mac OS X
Mac OS X, Tiger, Intel	11.02.2010	Tarball	Tcl/TK 8.4, Graphviz for Mac OS X
1.3.1final
Mac OS X, Snow Leopard	13.01.2010	Tarball	Tcl/TK 8.5 (for Leopard), Graphviz for Mac OS X
Linux	13.01.2010	Tarball	Java Runtime Environment (5.0 or newer), Tcl/Tk 8.4
Windows	13.01.2010	Zipfile	Tcl/Tk 8.4 for Windows, Java Runtime Environment (5.0 or newer)
Mac OS X, PPC Tiger	07.12.2009	Tarball	Tcl/TK 8.5, Graphviz for Mac OS X

If you are interested in earlier releases, please have a look at the Download directory.

@@ Line 9: / Line 9: @@
 ! Dependencies
 |-
-| colspan="4" style="background-color:lightgrey;" | 1.3.2-beta3/4
+| colspan="4" style="background-color:lightgrey;" | 1.3.2-beta
 |-
 | Linux
@@ Line 18: / Line 18: @@
 |-
 | Windows
-| 19.02.2010
+| 03.03.2010
 | [http://www.stups.uni-duesseldorf.de/ProB_Releases/1.3.2/ProB_Win.zip Zipfile (with probcli)]
 | [http://downloads.activestate.com/ActiveTcl/releases/ Tcl/Tk 8.4 for Windows],
@@ Line 24: / Line 24: @@
 |-
 | Mac OS X, Snow Leopard, Intel
-| 19.02.2010
+| 03.03.2010
 | [http://www.stups.uni-duesseldorf.de/ProB_Releases/1.3.2/ProB_snowleopard.tar.gz Tarball]
 | [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5],