| 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]] | |||
|} | |} | ||
| 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 |