Download: Difference between revisions

Line 22: Line 22:
| 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|ProB-linux-1.3.1final5.tar.gz]]
|-
| Linux
| 1.3.1final5
| 13.01.2010
| [[Media:ProB-win-1.3.1final5.zip|ProB-win-1.3.1final5.zip]]
|}
|}

Revision as of 09:29, 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 ProB-macsnow-1.3.1final5.tar.gz
Mac OS X, PowerPC, Tiger 1.3.1final3 07.12.2009 ProB-mactiger-1.3.1final3.tar.gz
Linux 1.3.1final5 13.01.2010 ProB-linux-1.3.1final5.tar.gz
Linux 1.3.1final5 13.01.2010 ProB-win-1.3.1final5.zip