| Line 23: | Line 23: | ||
| [[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]] | ||
|- | |- | ||
| | | 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|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 |
| Windows | 1.3.1final5 | 13.01.2010 | ProB-win-1.3.1final5.zip |