Download: Difference between revisions

Line 12: Line 12:
|-
|-
| Linux  
| Linux  
| 16.03.2010 11.02.2010
| 18.03.2010 11.02.2010
| [http://www.stups.uni-duesseldorf.de/ProB_Releases/1.3.2/ProB_linux.tar.gz Tarball],
| [http://www.stups.uni-duesseldorf.de/ProB_Releases/1.3.2/ProB_linux.tar.gz Tarball],
[http://www.stups.uni-duesseldorf.de/ProB_Releases/1.3.2/prob_1.3.2beta3_i386.deb Ubuntu / Debian package]
[http://www.stups.uni-duesseldorf.de/ProB_Releases/1.3.2/prob_1.3.2beta3_i386.deb Ubuntu / Debian package]
Line 18: Line 18:
|-
|-
| Windows
| Windows
| 16.03.2010
| 18.03.2010
| [http://www.stups.uni-duesseldorf.de/ProB_Releases/1.3.2/ProB_Win.zip Zipfile (with probcli)]
| [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],
| [http://downloads.activestate.com/ActiveTcl/releases/ Tcl/Tk 8.4 for Windows],
Line 24: Line 24:
|-
|-
| Mac OS X, Snow Leopard, Intel
| Mac OS X, Snow Leopard, Intel
| 16.03.2010
| 18.03.2010
| [http://www.stups.uni-duesseldorf.de/ProB_Releases/1.3.2/ProB_snowleopard.tar.gz Tarball (with probcli)]
| [http://www.stups.uni-duesseldorf.de/ProB_Releases/1.3.2/ProB_snowleopard.tar.gz Tarball (with probcli)]
| [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5],
| [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5],

Revision as of 16:40, 18 March 2010

Latest Release

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 18.03.2010 11.02.2010 Tarball,

Ubuntu / Debian package

Java Runtime Environment (5.0 or newer), Tcl/Tk 8.4
Windows 18.03.2010 Zipfile (with probcli) Tcl/Tk 8.4 for Windows,

Java Runtime Environment (5.0 or newer)

Mac OS X, Snow Leopard, Intel 18.03.2010 Tarball (with probcli) 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

Earlier Releases

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