Download: Difference between revisions

Revision as of 11:33, 19 January 2010

Platform	Version	Release Date	Download	Dependecies
Mac OS X, Snow Leopard	1.3.1final5	13.01.2010	Tarball	Tcl/TK 8.5 (for Leopard), Graphviz for Mac OS X
Mac OS X, PPC Tiger	1.3.1final3	07.12.2009	Tarball	Tcl/TK 8.5, Graphviz for Mac OS X
Linux	1.3.1final5	13.01.2010	Tarball
Windows	1.3.1final5	13.01.2010	Zipfile	Tcl/Tk 8.4.19 for Windows, Java Runtime Environment (5.0 or newer)

@@ Line 11: / Line 11: @@
 | 1.3.1final5
 | 13.01.2010
-| [[Media:ProB-macsnow-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.pixelglow.com/graphviz/ Graphviz for Mac OS X]
@@ Line 18: / Line 18: @@
 | 1.3.1final3
 | 07.12.2009
-| [[Media:ProB-mactiger-1.3.1final3.tar.gz|Tarball]]
+| [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]
@@ Line 25: / Line 25: @@
 | 1.3.1final5
 | 13.01.2010
-| [[Media: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
 | 1.3.1final5
 | 13.01.2010
-| [[Media:ProB-win-1.3.1final5.zip|Zip File]]
+| [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://java.com/en/ Java Runtime Environment (5.0 or newer)]