No edit summary |
|||
Line 3: | Line 3: | ||
{| border="1" | {| border="1" | ||
! Platform | ! Platform | ||
! Release Date | ! Release Date | ||
! Download | ! Download | ||
! Dependecies | ! Dependecies | ||
|- | |||
| colspan="4" style="background-color:lightgrey;" | 1.3.1final5 | |||
|- | |- | ||
| Mac OS X, Snow Leopard | | Mac OS X, Snow Leopard | ||
| 13.01.2010 | | 13.01.2010 | ||
| [http://www.stups.uni-duesseldorf.de/ProB_Releases/1.3.1final5/ProB-snowleopard-1.3.1final5.tar.gz Tarball] | | [http://www.stups.uni-duesseldorf.de/ProB_Releases/1.3.1final5/ProB-snowleopard-1.3.1final5.tar.gz Tarball] | ||
| [http://www.tcl.tk/software/tcltk/8.5.html Tcl/TK 8.5 (for Leopard)], | | [http://www.tcl.tk/software/tcltk/8.5.html Tcl/TK 8.5 (for Leopard)], | ||
[http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X] | [http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X] | ||
|- | |- | ||
| Linux | | Linux | ||
| 13.01.2010 | | 13.01.2010 | ||
| [http://www.stups.uni-duesseldorf.de/ProB_Releases/1.3.1final5/ProB-linux-1.3.1final5.tar.gz Tarball] | | [http://www.stups.uni-duesseldorf.de/ProB_Releases/1.3.1final5/ProB-linux-1.3.1final5.tar.gz Tarball] | ||
| | |||
|- | |- | ||
| Windows | | Windows | ||
| 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/Windows/8.4.19 Tcl/Tk 8.4.19 for Windows], | | [http://downloads.activestate.com/ActiveTcl/Windows/8.4.19 Tcl/Tk 8.4.19 for Windows], | ||
[http://java.com/en/ Java Runtime Environment (5.0 or newer)] | [http://java.com/en/ Java Runtime Environment (5.0 or newer)] | ||
|- | |||
| colspan="4" style="background-color:lightgrey;" | 1.3.1final3 | |||
|- | |||
| Mac OS X, PPC Tiger | |||
| 07.12.2009 | |||
| [http://www.stups.uni-duesseldorf.de/ProB_Releases/1.3.1final3/ProB-ppctiger-1.3.1final3.tar.gz Tarball] | |||
| [http://www.tcl.tk/software/tcltk/8.5.html Tcl/TK 8.5], | |||
[http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X] | |||
|} | |} | ||
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.19 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.