Download: Difference between revisions

Revision as of 09:28, 5 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	03.03.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	ProB_leopard_intel.tar.gz 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 31: / Line 31: @@
 | Mac OS X, Leopard, Intel
 | 19.02.2010
-| [http://www.stups.uni-duesseldorf.de/ProB_Releases/1.3.2/ProB_leopard.tar.gz Tarball]
+| [http://www.stups.uni-duesseldorf.de/ProB_Releases/1.3.2/	ProB_leopard_intel.tar.gz Tarball]
 | [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5],
 [http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X]
@@ Line 38: / Line 38: @@
 | Mac OS X, Tiger, Intel
 | 11.02.2010
-| [http://www.stups.uni-duesseldorf.de/ProB_Releases/1.3.2/ProB_tigerd.tar.gz Tarball]
+| [http://www.stups.uni-duesseldorf.de/ProB_Releases/1.3.2/ProB_tiger_intel.tar.gz Tarball]
 | [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.4],
 [http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X]