No edit summary |
No edit summary |
||
Line 23: | Line 23: | ||
| 13.01.2010 | | 13.01.2010 | ||
| [http://www.stups.uni-duesseldorf.de/ProB_Releases/1.3.1final5/ProB-win-1.3.1final5.zip Zipfile] | | [http://www.stups.uni-duesseldorf.de/ProB_Releases/1.3.1final5/ProB-win-1.3.1final5.zip Zipfile] | ||
| [http://downloads.activestate.com/ActiveTcl/ | | [http://downloads.activestate.com/ActiveTcl/releases/ Tcl/Tk 8.4 for Windows], | ||
[http://java.com/en/ Java Runtime Environment (5.0 or newer)] | [http://java.com/en/ Java Runtime Environment (5.0 or newer)] | ||
|- | |- |
Platform | Release Date | Download | Dependecies |
---|---|---|---|
1.3.1final5 | |||
Mac OS X, Snow Leopard | 13.01.2010 | Tarball | Tcl/TK 8.5 (for Leopard), |
Linux | 13.01.2010 | Tarball | |
Windows | 13.01.2010 | Zipfile | Tcl/Tk 8.4 for Windows, |
1.3.1final3 | |||
Mac OS X, PPC Tiger | 07.12.2009 | Tarball | Tcl/TK 8.5, |
If you are interested in earlier releases, please have a look at the Download directory.