Download: Difference between revisions

No edit summary
No edit summary
Line 1: Line 1:
{|
== Latest Stable Release ==
 
== Development Release ==
{| border="1"
! Platform
! Platform
! ProB version
! ProB version
! Release Date
! Release Date
! Download
! Download
|-
| Mac OS X, Snow Leopard
| 1.3.1final5
| 13.01.2010
| Link
|-
| Mac OS X, PowerPC, Tiger
| 1.3.1final3
| 07.12.2009
| Link
|-
|-
| Linux
| Linux
| 1.3.1final5
| 1.3.1final5
| 13.01.2010
| 13.01.2010
| Link
| [[Media:ProB-linux-1.3.1final5.tar.gz|ProB-linux-1.3.1final5.tar.gz]]
|}
|}

Revision as of 09:15, 19 January 2010

Latest Stable Release

Development Release

Platform ProB version Release Date Download
Mac OS X, Snow Leopard 1.3.1final5 13.01.2010 Link
Mac OS X, PowerPC, Tiger 1.3.1final3 07.12.2009 Link
Linux 1.3.1final5 13.01.2010 ProB-linux-1.3.1final5.tar.gz