Download: Difference between revisions

Line 2: Line 2:


== Development Release ==
== Development Release ==
{| border="1"
{|  
! Platform
! Platform
! ProB version
! Version
! Release Date
! Release Date
! Download
! Download
! Dependecies
|-
|-
| Mac OS X, Snow Leopard
| Mac OS X, Snow Leopard
| 1.3.1final5
| 1.3.1final5
| 13.01.2010
| 13.01.2010
| [[Media:ProB-macsnow-1.3.1final5.tar.gz|ProB-macsnow-1.3.1final5.tar.gz]]
| [[Media:ProB-macsnow-1.3.1final5.tar.gz|Tarball]]
| [http://www.tcl.tk/software/tcltk/8.5.html Tcl/TK 8.5 (for Leopard)]
|-
|-
| Mac OS X, PowerPC, Tiger
| Mac OS X, PowerPC, Tiger
| 1.3.1final3
| 1.3.1final3
| 07.12.2009
| 07.12.2009
| [[Media:ProB-mactiger-1.3.1final3.tar.gz|ProB-mactiger-1.3.1final3.tar.gz]]
| [[Media:ProB-mactiger-1.3.1final3.tar.gz|Tarball]]
|-
|-
| Linux
| Linux
| 1.3.1final5
| 1.3.1final5
| 13.01.2010
| 13.01.2010
| [[Media:ProB-linux-1.3.1final5.tar.gz|ProB-linux-1.3.1final5.tar.gz]]
| [[Media:ProB-linux-1.3.1final5.tar.gz|Tarball]]
|-
|-
| Windows
| Windows
| 1.3.1final5
| 1.3.1final5
| 13.01.2010
| 13.01.2010
| [[Media:ProB-win-1.3.1final5.zip|ProB-win-1.3.1final5.zip]]
| [[Media:ProB-win-1.3.1final5.zip|Zip File]]
|}
|}

Revision as of 09:39, 19 January 2010

Latest Stable Release

Development Release

Platform Version Release Date Download Dependecies
Mac OS X, Snow Leopard 1.3.1final5 13.01.2010 Tarball Tcl/TK 8.5 (for Leopard)
Mac OS X, PowerPC, Tiger 1.3.1final3 07.12.2009 Tarball
Linux 1.3.1final5 13.01.2010 Tarball
Windows 1.3.1final5 13.01.2010 Zip File