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 |