Help

DownloadPriorVersions: Difference between revisions

mNo edit summary
(Removed all Java download links - Oracle Java is bad and AdoptOpenJDK is no longer updated)
Line 20: Line 20:
| 6.10.2021  
| 6.10.2021  
| [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.11.0/ProB.linux64.tar.gz Tarball]<br/>
| [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.11.0/ProB.linux64.tar.gz Tarball]<br/>
| [http://java.com/en/ Java Runtime Environment (7.0 or newer)] or [https://adoptopenjdk.net Adopt JDK],<br/>
| Java 7 or newer, [https://www.tcl.tk/software/tcltk/downloadnow85.html Tcl/Tk 8.5],  [http://www.graphviz.org/download/ GraphViz]
[https://www.tcl.tk/software/tcltk/downloadnow85.html Tcl/Tk 8.5],  [http://www.graphviz.org/download/ GraphViz]
|-
|-
| colspan="4" style="background-color:lightgrey;" style="height:20px; |   
| colspan="4" style="background-color:lightgrey;" style="height:20px; |   
Line 29: Line 28:
| [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.11.0/ProB.windows64.zip Zipfile] (Tcl/Tk 8.6), <br/>[http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.11.0/ProB.windows64-tcltk-85.zip Zipfile] (Tcl/Tk 8.5)  <br/>
| [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.11.0/ProB.windows64.zip Zipfile] (Tcl/Tk 8.6), <br/>[http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.11.0/ProB.windows64-tcltk-85.zip Zipfile] (Tcl/Tk 8.5)  <br/>
| [https://www.activestate.com/products/tcl/downloads/ Tcl/Tk  for Windows],
| [https://www.activestate.com/products/tcl/downloads/ Tcl/Tk  for Windows],
[http://java.com/en/ Java Runtime Environment (7.0 or newer)] or [https://adoptopenjdk.net Adopt JDK],<br/>
Java 7 or newer, [http://www.graphviz.org/download/ GraphViz], <br/>  
[http://www.graphviz.org/download/ GraphViz], <br/>  
[[Windows Installation Instructions]]
[[Windows Installation Instructions]]
|-
|-
Line 40: Line 38:
[https://github.com/hhu-stups/homebrew-prob Homebrew Tap]
[https://github.com/hhu-stups/homebrew-prob Homebrew Tap]
| OS X 10.9 (Mavericks) or newer, [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5] (e.g., 8.5.18.0),
| OS X 10.9 (Mavericks) or newer, [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5] (e.g., 8.5.18.0),
[http://java.com/en/ Java Runtime Environment] or better [http://www.oracle.com/technetwork/java/javase/downloads/index.html Java JDK] or  [https://adoptopenjdk.net Adopt JDK], <br/>
Java 7 or newer, [http://www.graphviz.org/download/ Graphviz]
[http://www.graphviz.org/download/ Graphviz]
|}
|}


Line 56: Line 53:
| 21.1.2021  
| 21.1.2021  
| [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.10.2/ProB.linux64.tar.gz Tarball]<br/>
| [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.10.2/ProB.linux64.tar.gz Tarball]<br/>
| [http://java.com/en/ Java Runtime Environment (7.0 or newer)] or [https://adoptopenjdk.net Adopt JDK],<br/>
| Java 7 or newer, [https://www.tcl.tk/software/tcltk/downloadnow85.html Tcl/Tk 8.5],  [http://www.graphviz.org/download/ GraphViz]
[https://www.tcl.tk/software/tcltk/downloadnow85.html Tcl/Tk 8.5],  [http://www.graphviz.org/download/ GraphViz]
|-
|-
| colspan="4" style="background-color:lightgrey;" style="height:20px; |   
| colspan="4" style="background-color:lightgrey;" style="height:20px; |   
Line 65: Line 61:
| [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.10.2/ProB.windows64.zip Zipfile] (Tcl/Tk 8.6), <br/>[http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.10.2/ProB.windows64-tcltk-85.zip Zipfile] (Tcl/Tk 8.5)  <br/>
| [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.10.2/ProB.windows64.zip Zipfile] (Tcl/Tk 8.6), <br/>[http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.10.2/ProB.windows64-tcltk-85.zip Zipfile] (Tcl/Tk 8.5)  <br/>
| [https://www.activestate.com/products/tcl/downloads/ Tcl/Tk  for Windows],
| [https://www.activestate.com/products/tcl/downloads/ Tcl/Tk  for Windows],
[http://java.com/en/ Java Runtime Environment (7.0 or newer)] or [https://adoptopenjdk.net Adopt JDK],<br/>
Java 7 or newer, [http://www.graphviz.org/download/ GraphViz], <br/>  
[http://www.graphviz.org/download/ GraphViz], <br/>  
[[Windows Installation Instructions]]
[[Windows Installation Instructions]]
|-
|-
Line 76: Line 71:
[https://github.com/hhu-stups/homebrew-prob Homebrew Tap]
[https://github.com/hhu-stups/homebrew-prob Homebrew Tap]
| OS X 10.9 (Mavericks) or newer, [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5] (e.g., 8.5.18.0),
| OS X 10.9 (Mavericks) or newer, [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5] (e.g., 8.5.18.0),
[http://java.com/en/ Java Runtime Environment] or better [http://www.oracle.com/technetwork/java/javase/downloads/index.html Java JDK] or  [https://adoptopenjdk.net Adopt JDK], <br/>
Java 7 or newer, [http://www.graphviz.org/download/ Graphviz]
[http://www.graphviz.org/download/ Graphviz]
|}
|}


Line 94: Line 88:
| 15.12.2020  
| 15.12.2020  
| [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.10.0-final/ProB.linux64.tar.gz Tarball]<br/>
| [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.10.0-final/ProB.linux64.tar.gz Tarball]<br/>
| [http://java.com/en/ Java Runtime Environment (7.0 or newer)] or [https://adoptopenjdk.net Adopt JDK],<br/>
| Java 7 or newer, Tcl/Tk 8.5,  [http://www.graphviz.org/download/ GraphViz]
Tcl/Tk 8.5,  [http://www.graphviz.org/download/ GraphViz]
|-
|-
| colspan="4" style="background-color:lightgrey;" style="height:20px; |   
| colspan="4" style="background-color:lightgrey;" style="height:20px; |   
Line 103: Line 96:
| [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.10.0-final/ProB.windows64.zip Zipfile] (Tcl/Tk 8.6), <br/>[http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.10.0-final/ProB.windows64-tcltk85.zip Zipfile] (Tcl/Tk 8.5)  <br/>
| [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.10.0-final/ProB.windows64.zip Zipfile] (Tcl/Tk 8.6), <br/>[http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.10.0-final/ProB.windows64-tcltk85.zip Zipfile] (Tcl/Tk 8.5)  <br/>
| [http://downloads.activestate.com/ActiveTcl/releases/ Tcl/Tk  for Windows],
| [http://downloads.activestate.com/ActiveTcl/releases/ Tcl/Tk  for Windows],
[http://java.com/en/ Java Runtime Environment (7.0 or newer)] or [https://adoptopenjdk.net Adopt JDK],<br/>
Java 7 or newer, [http://www.graphviz.org/download/ GraphViz], <br/>  
[http://www.graphviz.org/download/ GraphViz], <br/>  
[[Windows Installation Instructions]]
[[Windows Installation Instructions]]
|-
|-
Line 114: Line 106:
[https://github.com/hhu-stups/homebrew-prob Homebrew Tap]
[https://github.com/hhu-stups/homebrew-prob Homebrew Tap]
| OS X 10.9 (Mavericks) or newer, [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5] (e.g., [http://downloads.activestate.com/ActiveTcl/releases/8.5.18.0/ 8.5.18.0]),
| OS X 10.9 (Mavericks) or newer, [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5] (e.g., [http://downloads.activestate.com/ActiveTcl/releases/8.5.18.0/ 8.5.18.0]),
[http://java.com/en/ Java Runtime Environment] or better [http://www.oracle.com/technetwork/java/javase/downloads/index.html Java JDK] or  [https://adoptopenjdk.net Adopt JDK], <br/>
Java 7 or newer, [http://www.graphviz.org/download/ Graphviz]
[http://www.graphviz.org/download/ Graphviz]
|}
|}


Line 131: Line 122:
| 19.2.2020  
| 19.2.2020  
| [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.9.3/ProB.linux64.tar.gz Tarball]<br/>
| [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.9.3/ProB.linux64.tar.gz Tarball]<br/>
| [http://java.com/en/ Java Runtime Environment (7.0 or newer)] or [https://adoptopenjdk.net Adopt JDK],<br/>
| Java 7 or newer, Tcl/Tk 8.5,  [http://www.graphviz.org/download/ GraphViz]
Tcl/Tk 8.5,  [http://www.graphviz.org/download/ GraphViz]
|-
|-
| colspan="4" style="background-color:lightgrey;" style="height:20px; |   
| colspan="4" style="background-color:lightgrey;" style="height:20px; |   
Line 140: Line 130:
| [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.9.3/ProB.windows64.zip Zipfile] (Tcl/Tk 8.6), <br/>[http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.9.3/ProB.windows64-tcltk85.zip Zipfile] (Tcl/Tk 8.5)  <br/>
| [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.9.3/ProB.windows64.zip Zipfile] (Tcl/Tk 8.6), <br/>[http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.9.3/ProB.windows64-tcltk85.zip Zipfile] (Tcl/Tk 8.5)  <br/>
| [http://downloads.activestate.com/ActiveTcl/releases/ Tcl/Tk  for Windows],
| [http://downloads.activestate.com/ActiveTcl/releases/ Tcl/Tk  for Windows],
[http://java.com/en/ Java Runtime Environment (7.0 or newer)] or [https://adoptopenjdk.net Adopt JDK],<br/>
Java 7 or newer, [http://www.graphviz.org/download/ GraphViz], <br/>  
[http://www.graphviz.org/download/ GraphViz], <br/>  
[[Windows Installation Instructions]]
[[Windows Installation Instructions]]
|-
|-
Line 151: Line 140:
[https://github.com/hhu-stups/homebrew-prob Homebrew Tap]
[https://github.com/hhu-stups/homebrew-prob Homebrew Tap]
| OS X 10.9 (Mavericks) or newer, [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5] (e.g., [http://downloads.activestate.com/ActiveTcl/releases/8.5.18.0/ 8.5.18.0]),
| OS X 10.9 (Mavericks) or newer, [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5] (e.g., [http://downloads.activestate.com/ActiveTcl/releases/8.5.18.0/ 8.5.18.0]),
[http://java.com/en/ Java Runtime Environment] or better [http://www.oracle.com/technetwork/java/javase/downloads/index.html Java JDK] or  [https://adoptopenjdk.net Adopt JDK], <br/>
Java 7 or newer, [http://www.graphviz.org/download/ Graphviz]
[http://www.graphviz.org/download/ Graphviz]
|}
|}


Line 168: Line 156:
| 11.11.2019  
| 11.11.2019  
| [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.9.2/ProB.linux64.tar.gz Tarball]<br/>
| [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.9.2/ProB.linux64.tar.gz Tarball]<br/>
| [http://java.com/en/ Java Runtime Environment (7.0 or newer)] or [https://adoptopenjdk.net Adopt JDK],<br/>
| Java 7 or newer, Tcl/Tk 8.5,  [http://www.graphviz.org/ GraphViz]
Tcl/Tk 8.5,  [http://www.graphviz.org/ GraphViz]
|-
|-
| colspan="4" style="background-color:lightgrey;" style="height:20px; |   
| colspan="4" style="background-color:lightgrey;" style="height:20px; |   
Line 177: Line 164:
| [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.9.2/ProB.windows64.zip Zipfile] (Tcl/Tk 8.6), <br/>[http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.9.2/ProB.windows64-tcltk85.zip Zipfile] (Tcl/Tk 8.5)  <br/>
| [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.9.2/ProB.windows64.zip Zipfile] (Tcl/Tk 8.6), <br/>[http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.9.2/ProB.windows64-tcltk85.zip Zipfile] (Tcl/Tk 8.5)  <br/>
| [http://downloads.activestate.com/ActiveTcl/releases/ Tcl/Tk  for Windows],
| [http://downloads.activestate.com/ActiveTcl/releases/ Tcl/Tk  for Windows],
[http://java.com/en/ Java Runtime Environment (7.0 or newer)] or [https://adoptopenjdk.net Adopt JDK],<br/>
Java 7 or newer, [http://www.graphviz.org/Download_windows.php GraphViz], <br/>  
[http://www.graphviz.org/Download_windows.php GraphViz], <br/>  
[[Windows Installation Instructions]]
[[Windows Installation Instructions]]
|-
|-
Line 188: Line 174:
[https://github.com/hhu-stups/homebrew-prob Homebrew Tap]
[https://github.com/hhu-stups/homebrew-prob Homebrew Tap]
| OS X 10.9 (Mavericks) or newer, [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5] (e.g., [http://downloads.activestate.com/ActiveTcl/releases/8.5.18.0/ 8.5.18.0]),
| OS X 10.9 (Mavericks) or newer, [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5] (e.g., [http://downloads.activestate.com/ActiveTcl/releases/8.5.18.0/ 8.5.18.0]),
[http://java.com/en/ Java Runtime Environment] or better [http://www.oracle.com/technetwork/java/javase/downloads/index.html Java JDK] or  [https://adoptopenjdk.net Adopt JDK], <br/>
Java 7 or newer, [http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X]
[http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X]
|}
|}


Line 204: Line 189:
| 8.11.2019  
| 8.11.2019  
| [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.9.1/ProB.linux64.tar.gz Tarball]<br/>
| [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.9.1/ProB.linux64.tar.gz Tarball]<br/>
| [http://java.com/en/ Java Runtime Environment (7.0 or newer)] or [https://adoptopenjdk.net Adopt JDK],<br/>
| Java 7 or newer, Tcl/Tk 8.5,  [http://www.graphviz.org/ GraphViz]
Tcl/Tk 8.5,  [http://www.graphviz.org/ GraphViz]
|-
|-
| colspan="4" style="background-color:lightgrey;" style="height:20px; |   
| colspan="4" style="background-color:lightgrey;" style="height:20px; |   
Line 213: Line 197:
| [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.9.1/ProB.windows64.zip Zipfile] (Tcl/Tk 8.6), <br/>[http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.9.1/ProB.windows64-tcltk85.zip Zipfile] (Tcl/Tk 8.5)  <br/>
| [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.9.1/ProB.windows64.zip Zipfile] (Tcl/Tk 8.6), <br/>[http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.9.1/ProB.windows64-tcltk85.zip Zipfile] (Tcl/Tk 8.5)  <br/>
| [http://downloads.activestate.com/ActiveTcl/releases/ Tcl/Tk  for Windows],
| [http://downloads.activestate.com/ActiveTcl/releases/ Tcl/Tk  for Windows],
[http://java.com/en/ Java Runtime Environment (7.0 or newer)] or [https://adoptopenjdk.net Adopt JDK],<br/>
Java 7 or newer, [http://www.graphviz.org/Download_windows.php GraphViz], <br/>  
[http://www.graphviz.org/Download_windows.php GraphViz], <br/>  
[[Windows Installation Instructions]]
[[Windows Installation Instructions]]
|-
|-
Line 224: Line 207:
[https://github.com/hhu-stups/homebrew-prob Homebrew Tap]
[https://github.com/hhu-stups/homebrew-prob Homebrew Tap]
| OS X 10.9 (Mavericks) or newer, [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5] (e.g., [http://downloads.activestate.com/ActiveTcl/releases/8.5.18.0/ 8.5.18.0]),
| OS X 10.9 (Mavericks) or newer, [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5] (e.g., [http://downloads.activestate.com/ActiveTcl/releases/8.5.18.0/ 8.5.18.0]),
[http://java.com/en/ Java Runtime Environment] or better [http://www.oracle.com/technetwork/java/javase/downloads/index.html Java JDK] or  [https://adoptopenjdk.net Adopt JDK], <br/>
Java 7 or newer, [http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X]
[http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X]
|}
|}


Line 239: Line 221:
| 12.7.2019  
| 12.7.2019  
| [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.9.0/ProB.linux64.tar.gz Tarball]<br/>
| [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.9.0/ProB.linux64.tar.gz Tarball]<br/>
| [http://java.com/en/ Java Runtime Environment (7.0 or newer)] or [https://adoptopenjdk.net Adopt JDK],<br/>
| Java 7 or newer, Tcl/Tk 8.5,  [http://www.graphviz.org/ GraphViz]
Tcl/Tk 8.5,  [http://www.graphviz.org/ GraphViz]
|-
|-
| colspan="4" style="background-color:lightgrey;" style="height:20px; |   
| colspan="4" style="background-color:lightgrey;" style="height:20px; |   
Line 248: Line 229:
| [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.9.0/ProB.windows64.zip Zipfile] (Tcl/Tk 8.6), <br/>[http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.9.0/ProB.windows64-tcltk85.zip Zipfile] (Tcl/Tk 8.5)  <br/>
| [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.9.0/ProB.windows64.zip Zipfile] (Tcl/Tk 8.6), <br/>[http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.9.0/ProB.windows64-tcltk85.zip Zipfile] (Tcl/Tk 8.5)  <br/>
| [http://downloads.activestate.com/ActiveTcl/releases/ Tcl/Tk  for Windows],
| [http://downloads.activestate.com/ActiveTcl/releases/ Tcl/Tk  for Windows],
[http://java.com/en/ Java Runtime Environment (7.0 or newer)] or [https://adoptopenjdk.net Adopt JDK],<br/>
Java 7 or newer, [http://www.graphviz.org/Download_windows.php GraphViz], <br/>  
[http://www.graphviz.org/Download_windows.php GraphViz], <br/>  
[[Windows Installation Instructions]]
[[Windows Installation Instructions]]
|-
|-
Line 259: Line 239:
[https://github.com/hhu-stups/homebrew-prob Homebrew Tap]
[https://github.com/hhu-stups/homebrew-prob Homebrew Tap]
| OS X 10.9 (Mavericks) or newer, [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5] (e.g., [http://downloads.activestate.com/ActiveTcl/releases/8.5.18.0/ 8.5.18.0]),
| OS X 10.9 (Mavericks) or newer, [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5] (e.g., [http://downloads.activestate.com/ActiveTcl/releases/8.5.18.0/ 8.5.18.0]),
[http://java.com/en/ Java Runtime Environment] or better [http://www.oracle.com/technetwork/java/javase/downloads/index.html Java JDK] or  [https://adoptopenjdk.net Adopt JDK], <br/>
Java 7 or newer, [http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X]
[http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X]
|}
|}


Line 277: Line 256:
| 1.10.2018  
| 1.10.2018  
| [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.8.2/ProB.linux32.tar.gz Tarball (with probcli) (32bit)],<br/>[http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.8.2/ProB.linux64.tar.gz Tarball (with probcli) (64bit)]<br/>
| [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.8.2/ProB.linux32.tar.gz Tarball (with probcli) (32bit)],<br/>[http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.8.2/ProB.linux64.tar.gz Tarball (with probcli) (64bit)]<br/>
| [http://java.com/en/ Java Runtime Environment (7.0 or newer)], Tcl/Tk 8.5,  [http://www.graphviz.org/ GraphViz]
| Java 7 or newer, Tcl/Tk 8.5,  [http://www.graphviz.org/ GraphViz]
|-
|-
| colspan="4" style="background-color:lightgrey;" style="height:20px; |   
| colspan="4" style="background-color:lightgrey;" style="height:20px; |   
Line 285: Line 264:
| [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.8.2/ProB.windows32.zip Zipfile (with probcli) (32bit)],<br/> [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.8.2/ProB.windows64.zip Zipfile (with probcli) <br/>(64bit)]
| [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.8.2/ProB.windows32.zip Zipfile (with probcli) (32bit)],<br/> [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.8.2/ProB.windows64.zip Zipfile (with probcli) <br/>(64bit)]
| [http://downloads.activestate.com/ActiveTcl/releases/ Tcl/Tk 8.5 for Windows],
| [http://downloads.activestate.com/ActiveTcl/releases/ Tcl/Tk 8.5 for Windows],
[http://java.com/en/ Java Runtime Environment (7.0 or newer)], [[Windows Installation Instructions]] [http://www.graphviz.org/Download_windows.php GraphViz]
Java 7 or newer, [[Windows Installation Instructions]] [http://www.graphviz.org/Download_windows.php GraphViz]
|-
|-
| colspan="4" style="background-color:lightgrey;" style="height:20px; |   
| colspan="4" style="background-color:lightgrey;" style="height:20px; |   
Line 293: Line 272:
|  [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.8.2/ProB.mac_os.x86_64.tar.gz Tarball (with probcli) (64bit)] [https://github.com/hhu-stups/homebrew-prob Homebrew Tap]
|  [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.8.2/ProB.mac_os.x86_64.tar.gz Tarball (with probcli) (64bit)] [https://github.com/hhu-stups/homebrew-prob Homebrew Tap]
| OS X 10.9 (Mavericks) or newer, [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5] (e.g., [http://downloads.activestate.com/ActiveTcl/releases/8.5.18.0/ 8.5.18.0]),
| OS X 10.9 (Mavericks) or newer, [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5] (e.g., [http://downloads.activestate.com/ActiveTcl/releases/8.5.18.0/ 8.5.18.0]),
[http://java.com/en/ Java Runtime Environment] or better [http://www.oracle.com/technetwork/java/javase/downloads/index.html Java JDK] or [http://openjdk.java.net openJDK] (7.0 or newer),
Java 7 or newer, [http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X]
[http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X]
|}
|}


Line 310: Line 288:
| 20.3.2018  
| 20.3.2018  
| [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.8.0/ProB.linux32.tar.gz Tarball (with probcli) (32bit)],<br/>[http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.8.0/ProB.linux64.tar.gz Tarball (with probcli) (64bit)]<br/>
| [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.8.0/ProB.linux32.tar.gz Tarball (with probcli) (32bit)],<br/>[http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.8.0/ProB.linux64.tar.gz Tarball (with probcli) (64bit)]<br/>
| [http://java.com/en/ Java Runtime Environment (7.0 or newer)], Tcl/Tk 8.5,  [http://www.graphviz.org/ GraphViz]
| Java 7 or newer, Tcl/Tk 8.5,  [http://www.graphviz.org/ GraphViz]
|-
|-
| colspan="4" style="background-color:lightgrey;" style="height:20px; |   
| colspan="4" style="background-color:lightgrey;" style="height:20px; |   
Line 318: Line 296:
| [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.8.0/ProB.windows32.zip Zipfile (with probcli) (32bit)],<br/> [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.8.0/ProB.windows64.zip Zipfile (with probcli) <br/>(64bit)]
| [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.8.0/ProB.windows32.zip Zipfile (with probcli) (32bit)],<br/> [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.8.0/ProB.windows64.zip Zipfile (with probcli) <br/>(64bit)]
| [http://downloads.activestate.com/ActiveTcl/releases/ Tcl/Tk 8.5 for Windows],
| [http://downloads.activestate.com/ActiveTcl/releases/ Tcl/Tk 8.5 for Windows],
[http://java.com/en/ Java Runtime Environment (7.0 or newer)], [[Windows Installation Instructions]] [http://www.graphviz.org/Download_windows.php GraphViz]
Java 7 or newer, [[Windows Installation Instructions]] [http://www.graphviz.org/Download_windows.php GraphViz]
|-
|-
| colspan="4" style="background-color:lightgrey;" style="height:20px; |   
| colspan="4" style="background-color:lightgrey;" style="height:20px; |   
Line 326: Line 304:
|  [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.8.0/ProB.mac_os.x86_64.tar.gz Tarball (with probcli) (64bit)] [https://github.com/hhu-stups/homebrew-prob Homebrew Tap]
|  [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.8.0/ProB.mac_os.x86_64.tar.gz Tarball (with probcli) (64bit)] [https://github.com/hhu-stups/homebrew-prob Homebrew Tap]
| OS X 10.9 (Mavericks) or newer, [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5] (e.g., [http://downloads.activestate.com/ActiveTcl/releases/8.5.18.0/ 8.5.18.0]),
| OS X 10.9 (Mavericks) or newer, [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5] (e.g., [http://downloads.activestate.com/ActiveTcl/releases/8.5.18.0/ 8.5.18.0]),
[http://java.com/en/ Java Runtime Environment] or better [http://www.oracle.com/technetwork/java/javase/downloads/index.html Java JDK] (7.0 or newer),
Java 7 or newer, [http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X]
[http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X]
|}
|}


Line 343: Line 320:
| 5. October 2017
| 5. October 2017
| [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.7.1/ProB.linux32.tar.gz Tarball (with probcli) (32bit)],<br/>[http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.7.1/ProB.linux64.tar.gz Tarball (with probcli) (64bit)]<br/>
| [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.7.1/ProB.linux32.tar.gz Tarball (with probcli) (32bit)],<br/>[http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.7.1/ProB.linux64.tar.gz Tarball (with probcli) (64bit)]<br/>
| [http://java.com/en/ Java Runtime Environment (7.0 or newer)], Tcl/Tk 8.5
| Java 7 or newer, Tcl/Tk 8.5
|-
|-
| colspan="4" style="background-color:lightgrey;" style="height:20px; |   
| colspan="4" style="background-color:lightgrey;" style="height:20px; |   
Line 351: Line 328:
| [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.7.1/ProB.windows32.zip Zipfile (with probcli) (32bit)],<br/> [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.7.1/ProB.windows64.zip Zipfile (with probcli) <br/>(64bit)]
| [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.7.1/ProB.windows32.zip Zipfile (with probcli) (32bit)],<br/> [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.7.1/ProB.windows64.zip Zipfile (with probcli) <br/>(64bit)]
| [http://downloads.activestate.com/ActiveTcl/releases/ Tcl/Tk 8.5 for Windows],
| [http://downloads.activestate.com/ActiveTcl/releases/ Tcl/Tk 8.5 for Windows],
[http://java.com/en/ Java Runtime Environment (7.0 or newer)], [[Windows Installation Instructions]] [http://www.graphviz.org/Download_windows.php GraphViz]
Java 7 or newer, [[Windows Installation Instructions]] [http://www.graphviz.org/Download_windows.php GraphViz]
|-
|-
| colspan="4" style="background-color:lightgrey;" style="height:20px; |   
| colspan="4" style="background-color:lightgrey;" style="height:20px; |   
Line 359: Line 336:
|  [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.7.1/ProB.mac_os.x86_64.tar.gz Tarball (with probcli) (64bit)] [https://github.com/hhu-stups/homebrew-prob Homebrew Tap]
|  [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.7.1/ProB.mac_os.x86_64.tar.gz Tarball (with probcli) (64bit)] [https://github.com/hhu-stups/homebrew-prob Homebrew Tap]
| OS X 10.9 (Mavericks) or newer, [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5] (e.g., [http://downloads.activestate.com/ActiveTcl/releases/8.5.18.0/ 8.5.18.0]),
| OS X 10.9 (Mavericks) or newer, [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5] (e.g., [http://downloads.activestate.com/ActiveTcl/releases/8.5.18.0/ 8.5.18.0]),
[http://java.com/en/ Java Runtime Environment] or better [http://www.oracle.com/technetwork/java/javase/downloads/index.html Java JDK] (7.0 or newer),
Java 7 or newer, [http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X]
[http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X]
|}
|}


Line 375: Line 351:
| 11. July 2017
| 11. July 2017
| [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.7.0/ProB.linux32.tar.gz Tarball (with probcli) (32bit)],<br/>[http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.7.0/ProB.linux64.tar.gz Tarball (with probcli) (64bit)]<br/>
| [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.7.0/ProB.linux32.tar.gz Tarball (with probcli) (32bit)],<br/>[http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.7.0/ProB.linux64.tar.gz Tarball (with probcli) (64bit)]<br/>
| [http://java.com/en/ Java Runtime Environment (7.0 or newer)], Tcl/Tk 8.5
| Java 7 or newer, Tcl/Tk 8.5
|-
|-
| colspan="4" style="background-color:lightgrey;" style="height:20px; |   
| colspan="4" style="background-color:lightgrey;" style="height:20px; |   
Line 383: Line 359:
| [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.7.0/ProB.windows32.zip Zipfile (with probcli) (32bit)],<br/> [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.7.0/ProB.windows64.zip Zipfile (with probcli) <br/>(64bit)]
| [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.7.0/ProB.windows32.zip Zipfile (with probcli) (32bit)],<br/> [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.7.0/ProB.windows64.zip Zipfile (with probcli) <br/>(64bit)]
| [http://downloads.activestate.com/ActiveTcl/releases/ Tcl/Tk 8.5 for Windows],
| [http://downloads.activestate.com/ActiveTcl/releases/ Tcl/Tk 8.5 for Windows],
[http://java.com/en/ Java Runtime Environment (7.0 or newer)], [[Windows Installation Instructions]] [http://www.graphviz.org/Download_windows.php GraphViz]
Java 7 or newer, [[Windows Installation Instructions]] [http://www.graphviz.org/Download_windows.php GraphViz]
|-
|-
| colspan="4" style="background-color:lightgrey;" style="height:20px; |   
| colspan="4" style="background-color:lightgrey;" style="height:20px; |   
Line 391: Line 367:
|  [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.7.0/ProB.mac_os.x86_64.tar.gz Tarball (with probcli) (64bit)] [https://github.com/hhu-stups/homebrew-prob Homebrew Tap]
|  [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.7.0/ProB.mac_os.x86_64.tar.gz Tarball (with probcli) (64bit)] [https://github.com/hhu-stups/homebrew-prob Homebrew Tap]
| OS X 10.11 (El Capitain) recommended, [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5],
| OS X 10.11 (El Capitain) recommended, [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5],
[http://java.com/en/ Java Runtime Environment] or better [http://www.oracle.com/technetwork/java/javase/downloads/index.html Java JDK] (7.0 or newer),
Java 7 or newer, [http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X]
[http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X]
|}
|}


Line 407: Line 382:
| 22. April 2016
| 22. April 2016
| [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.6.1/ProB.linux32.tar.gz Tarball (with probcli) (32bit)],<br/>[http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.6.1/ProB.linux64.tar.gz Tarball (with probcli) (64bit)]<br/>
| [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.6.1/ProB.linux32.tar.gz Tarball (with probcli) (32bit)],<br/>[http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.6.1/ProB.linux64.tar.gz Tarball (with probcli) (64bit)]<br/>
| [http://java.com/en/ Java Runtime Environment (7.0 or newer)], Tcl/Tk 8.5
| Java 7 or newer, Tcl/Tk 8.5
|-
|-
| colspan="4" style="background-color:lightgrey;" style="height:20px; |   
| colspan="4" style="background-color:lightgrey;" style="height:20px; |   
Line 415: Line 390:
| [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.6.1/ProB.windows32.zip Zipfile (with probcli) (32bit)],<br/> [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.6.1/ProB.windows64.zip Zipfile (with probcli) <br/>(64bit)]
| [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.6.1/ProB.windows32.zip Zipfile (with probcli) (32bit)],<br/> [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.6.1/ProB.windows64.zip Zipfile (with probcli) <br/>(64bit)]
| [http://downloads.activestate.com/ActiveTcl/releases/ Tcl/Tk 8.5 for Windows],
| [http://downloads.activestate.com/ActiveTcl/releases/ Tcl/Tk 8.5 for Windows],
[http://java.com/en/ Java Runtime Environment (7.0 or newer)], [[Windows Installation Instructions]] [http://www.graphviz.org/Download_windows.php GraphViz]
Java 7 or newer, [[Windows Installation Instructions]] [http://www.graphviz.org/Download_windows.php GraphViz]
|-
|-
| colspan="4" style="background-color:lightgrey;" style="height:20px; |   
| colspan="4" style="background-color:lightgrey;" style="height:20px; |   
Line 423: Line 398:
|  [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.6.1/ProB.mac_os.x86_64.tar.gz Tarball (with probcli) (64bit)] [https://github.com/hhu-stups/homebrew-prob Homebrew Tap]
|  [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.6.1/ProB.mac_os.x86_64.tar.gz Tarball (with probcli) (64bit)] [https://github.com/hhu-stups/homebrew-prob Homebrew Tap]
| OS X 10.11 (El Capitain) recommended, [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5],
| OS X 10.11 (El Capitain) recommended, [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5],
[http://java.com/en/ Java Runtime Environment] or better [http://www.oracle.com/technetwork/java/javase/downloads/index.html Java JDK] (7.0 or newer),
Java 7 or newer, [http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X]
[http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X]
|}
|}


Line 440: Line 414:
| 22. April 2016
| 22. April 2016
| [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.6.0/ProB.linux32.tar.gz Tarball (with probcli) (32bit)],<br/>[http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.6.0/ProB.linux64.tar.gz Tarball (with probcli) (64bit)]<br/>
| [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.6.0/ProB.linux32.tar.gz Tarball (with probcli) (32bit)],<br/>[http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.6.0/ProB.linux64.tar.gz Tarball (with probcli) (64bit)]<br/>
| [http://java.com/en/ Java Runtime Environment (7.0 or newer)], Tcl/Tk 8.5
| Java 7 or newer, Tcl/Tk 8.5
|-
|-
| colspan="4" style="background-color:lightgrey;" style="height:20px; |   
| colspan="4" style="background-color:lightgrey;" style="height:20px; |   
Line 448: Line 422:
| [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.6.0/ProB.windows32.zip Zipfile (with probcli) (32bit)],<br/> [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.6.0/ProB.windows64.zip Zipfile (with probcli) <br/>(64bit)]
| [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.6.0/ProB.windows32.zip Zipfile (with probcli) (32bit)],<br/> [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.6.0/ProB.windows64.zip Zipfile (with probcli) <br/>(64bit)]
| [http://downloads.activestate.com/ActiveTcl/releases/ Tcl/Tk 8.5 for Windows],
| [http://downloads.activestate.com/ActiveTcl/releases/ Tcl/Tk 8.5 for Windows],
[http://java.com/en/ Java Runtime Environment (7.0 or newer)], [[Windows Installation Instructions]]
Java 7 or newer, [[Windows Installation Instructions]]
|-
|-
| colspan="4" style="background-color:lightgrey;" style="height:20px; |   
| colspan="4" style="background-color:lightgrey;" style="height:20px; |   
Line 456: Line 430:
|  [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.6.0/ProB.mac_os.10.11.4.x86_64.tar.gz Tarball (with probcli) (64bit)] [https://github.com/hhu-stups/homebrew-prob Homebrew Tap]
|  [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.6.0/ProB.mac_os.10.11.4.x86_64.tar.gz Tarball (with probcli) (64bit)] [https://github.com/hhu-stups/homebrew-prob Homebrew Tap]
| OS X 10.11 (El Capitain) recommended, [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5],
| OS X 10.11 (El Capitain) recommended, [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5],
[http://java.com/en/ Java Runtime Environment] or better [http://www.oracle.com/technetwork/java/javase/downloads/index.html Java JDK] (7.0 or newer),
Java 7 or newer, [http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X]
[http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X]
|-
|-
| colspan="4" style="background-color:lightgrey;" | 1.5.0-final
| colspan="4" style="background-color:lightgrey;" | 1.5.0-final
Line 464: Line 437:
| 19. February 2015
| 19. February 2015
| [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.5.0/ProB.linux32.tar.gz Tarball (with probcli) (32bit)],<br/>[http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.5.0/ProB.linux64.tar.gz Tarball (with probcli) (64bit)]<br/>
| [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.5.0/ProB.linux32.tar.gz Tarball (with probcli) (32bit)],<br/>[http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.5.0/ProB.linux64.tar.gz Tarball (with probcli) (64bit)]<br/>
| Java Runtime Environment (7.0 or newer), Tcl/Tk 8.5
| Java 5.0 or newer, Tcl/Tk 8.5
|-
|-
| Windows
| Windows
Line 470: Line 443:
| [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.5.0/ProB.windows32.zip Zipfile (with probcli) (32bit)],<br/> [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.5.0/ProB.windows64.zip Zipfile (with probcli) <br/>(64bit)]
| [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.5.0/ProB.windows32.zip Zipfile (with probcli) (32bit)],<br/> [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.5.0/ProB.windows64.zip Zipfile (with probcli) <br/>(64bit)]
| [http://downloads.activestate.com/ActiveTcl/releases/ Tcl/Tk 8.5 for Windows],
| [http://downloads.activestate.com/ActiveTcl/releases/ Tcl/Tk 8.5 for Windows],
[http://java.com/en/ Java Runtime Environment (7.0 or newer)], [[Windows Installation Instructions]]
Java 5.0 or newer, [[Windows Installation Instructions]]
|-
|-
| OS X
| OS X
Line 476: Line 449:
|  [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.5.0/ProB.mac_os.10.6.8.x86_64.tar.gz Tarball (with probcli) (64bit)] [https://github.com/hhu-stups/homebrew-prob Homebrew Tap]
|  [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.5.0/ProB.mac_os.10.6.8.x86_64.tar.gz Tarball (with probcli) (64bit)] [https://github.com/hhu-stups/homebrew-prob Homebrew Tap]
| [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5]
| [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5]
[http://java.com/en/ Java Runtime Environment] or better [http://www.oracle.com/technetwork/java/javase/downloads/index.html Java JDK] (7.0 or newer)
Java 5.0 or newer, [http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X]
[http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X]
|-
|-
| colspan="4" style="background-color:lightgrey;" | 1.3.6-final
| colspan="4" style="background-color:lightgrey;" | 1.3.6-final
Line 484: Line 456:
| 4. March 2013
| 4. March 2013
| [http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.6/ProB.linux32.tar.gz Tarball (32bit)],<br/>[http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.6/ProB.linux64.tar.gz Tarball (64bit)],<br/>
| [http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.6/ProB.linux32.tar.gz Tarball (32bit)],<br/>[http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.6/ProB.linux64.tar.gz Tarball (64bit)],<br/>
| Java Runtime Environment (5.0 or newer), Tcl/Tk 8.5
| Java 5.0 or newer, Tcl/Tk 8.5
|-
|-
| Windows
| Windows
Line 490: Line 462:
| [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.3.6/ProB.windows.zip Zipfile (with probcli)]
| [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.3.6/ProB.windows.zip Zipfile (with probcli)]
| [http://downloads.activestate.com/ActiveTcl/releases/ Tcl/Tk 8.5 for Windows],
| [http://downloads.activestate.com/ActiveTcl/releases/ Tcl/Tk 8.5 for Windows],
[http://java.com/en/ Java Runtime Environment (5.0 or newer)], [[Windows Installation Instructions]]
Java 5.0 or newer, [[Windows Installation Instructions]]
|-
|-
| Mac OS X, Snow Leopard, Intel (64-bit)
| Mac OS X, Snow Leopard, Intel (64-bit)

Revision as of 15:37, 21 March 2022

Below are details for releases 1.10.2 back to 1.3.1. If you are interested in earlier releases, please have a look at the Download directory.

A version of ProB with built-in support for timed CSP developed by Swansea University (UK) is available on here: https://www3.hhu.de/stups/downloads/prob/timed-csp/


Platform    Release Date    Download (64 bit)   Dependencies
1.11.0
Linux 6.10.2021 Tarball
 Java 7 or newer, Tcl/Tk 8.5, GraphViz
Windows 6.10.2021 Zipfile (Tcl/Tk 8.6),
Zipfile (Tcl/Tk 8.5)
Tcl/Tk for Windows,

Java 7 or newer, GraphViz,
Windows Installation Instructions

OS X 6.10.2021 Zipfile (notarized Tk 8.5)
Zipfile (notarized Tk 8.6)

Homebrew Tap

OS X 10.9 (Mavericks) or newer, Tcl/TK 8.5 (e.g., 8.5.18.0),

Java 7 or newer, Graphviz


Platform    Release Date    Download (64 bit)   Dependencies
1.10.2
Linux 21.1.2021 Tarball
 Java 7 or newer, Tcl/Tk 8.5, GraphViz
Windows 21.1.2021 Zipfile (Tcl/Tk 8.6),
Zipfile (Tcl/Tk 8.5)
Tcl/Tk for Windows,

Java 7 or newer, GraphViz,
Windows Installation Instructions

OS X 21.1.2021 Zipfile (notarized)

Homebrew Tap

OS X 10.9 (Mavericks) or newer, Tcl/TK 8.5 (e.g., 8.5.18.0),

Java 7 or newer, Graphviz



Platform    Release Date    Download (64 bit)   Dependencies
1.10.0-final
Linux 15.12.2020 Tarball
 Java 7 or newer, Tcl/Tk 8.5, GraphViz
Windows 15.12.2020 Zipfile (Tcl/Tk 8.6),
Zipfile (Tcl/Tk 8.5)
Tcl/Tk for Windows,

Java 7 or newer, GraphViz,
Windows Installation Instructions

OS X 15.12.2020 Zipfile (notarized)

Homebrew Tap

OS X 10.9 (Mavericks) or newer, Tcl/TK 8.5 (e.g., 8.5.18.0),

Java 7 or newer, Graphviz


Platform    Release Date    Download (64 bit)   Dependencies
1.9.3-final
Linux 19.2.2020 Tarball
 Java 7 or newer, Tcl/Tk 8.5, GraphViz
Windows 19.2.2020 Zipfile (Tcl/Tk 8.6),
Zipfile (Tcl/Tk 8.5)
Tcl/Tk for Windows,

Java 7 or newer, GraphViz,
Windows Installation Instructions

OS X 19.2.2020 Zipfile (notarized)

Homebrew Tap

OS X 10.9 (Mavericks) or newer, Tcl/TK 8.5 (e.g., 8.5.18.0),

Java 7 or newer, Graphviz


Platform    Release Date    Download (64 bit)   Dependencies
1.9.2-release
Linux 11.11.2019 Tarball
 Java 7 or newer, Tcl/Tk 8.5, GraphViz
Windows 11.11.2019 Zipfile (Tcl/Tk 8.6),
Zipfile (Tcl/Tk 8.5)
Tcl/Tk for Windows,

Java 7 or newer, GraphViz,
Windows Installation Instructions

OS X 11.11.2019 Tarball

Homebrew Tap

OS X 10.9 (Mavericks) or newer, Tcl/TK 8.5 (e.g., 8.5.18.0),

Java 7 or newer, Graphviz for Mac OS X


Platform    Release Date    Download (64 bit)   Dependencies
1.9.1-release
Linux 8.11.2019 Tarball
 Java 7 or newer, Tcl/Tk 8.5, GraphViz
Windows 8.11.2019 Zipfile (Tcl/Tk 8.6),
Zipfile (Tcl/Tk 8.5)
Tcl/Tk for Windows,

Java 7 or newer, GraphViz,
Windows Installation Instructions

OS X 8.11.2019 Tarball

Homebrew Tap

OS X 10.9 (Mavericks) or newer, Tcl/TK 8.5 (e.g., 8.5.18.0),

Java 7 or newer, Graphviz for Mac OS X

Platform    Release Date    Download (64 bit)   Dependencies
1.9.0-release
Linux 12.7.2019 Tarball
 Java 7 or newer, Tcl/Tk 8.5, GraphViz
Windows 12.7.2019 Zipfile (Tcl/Tk 8.6),
Zipfile (Tcl/Tk 8.5)
Tcl/Tk for Windows,

Java 7 or newer, GraphViz,
Windows Installation Instructions

OS X 12.7.2019 Tarball

Homebrew Tap

OS X 10.9 (Mavericks) or newer, Tcl/TK 8.5 (e.g., 8.5.18.0),

Java 7 or newer, Graphviz for Mac OS X



Platform Release Date Download Dependencies
1.8.2-final
Linux 1.10.2018 Tarball (with probcli) (32bit),
Tarball (with probcli) (64bit)
 Java 7 or newer, Tcl/Tk 8.5, GraphViz
Windows 1.10.2018 Zipfile (with probcli) (32bit),
Zipfile (with probcli)
(64bit) 		Tcl/Tk 8.5 for Windows,

Java 7 or newer, Windows Installation Instructions GraphViz

OS X 1.10.2018 Tarball (with probcli) (64bit) Homebrew Tap OS X 10.9 (Mavericks) or newer, Tcl/TK 8.5 (e.g., 8.5.18.0),

Java 7 or newer, Graphviz for Mac OS X


Platform Release Date Download Dependencies
1.8.0-final
Linux 20.3.2018 Tarball (with probcli) (32bit),
Tarball (with probcli) (64bit)
 Java 7 or newer, Tcl/Tk 8.5, GraphViz
Windows 20.3.2018 Zipfile (with probcli) (32bit),
Zipfile (with probcli)
(64bit) 		Tcl/Tk 8.5 for Windows,

Java 7 or newer, Windows Installation Instructions GraphViz

OS X 20.3.2018 Tarball (with probcli) (64bit) Homebrew Tap OS X 10.9 (Mavericks) or newer, Tcl/TK 8.5 (e.g., 8.5.18.0),

Java 7 or newer, Graphviz for Mac OS X


Platform Release Date Download Dependencies
1.7.1-final
Linux 5. October 2017 Tarball (with probcli) (32bit),
Tarball (with probcli) (64bit)
 Java 7 or newer, Tcl/Tk 8.5
Windows 5. October 2017 Zipfile (with probcli) (32bit),
Zipfile (with probcli)
(64bit) 		Tcl/Tk 8.5 for Windows,

Java 7 or newer, Windows Installation Instructions GraphViz

OS X 12. October 2017 Tarball (with probcli) (64bit) Homebrew Tap OS X 10.9 (Mavericks) or newer, Tcl/TK 8.5 (e.g., 8.5.18.0),

Java 7 or newer, Graphviz for Mac OS X


Platform Release Date Download Dependencies
1.7.0-final
Linux 11. July 2017 Tarball (with probcli) (32bit),
Tarball (with probcli) (64bit)
 Java 7 or newer, Tcl/Tk 8.5
Windows 11. July 2017 Zipfile (with probcli) (32bit),
Zipfile (with probcli)
(64bit) 		Tcl/Tk 8.5 for Windows,

Java 7 or newer, Windows Installation Instructions GraphViz

OS X 11. July 2017 Tarball (with probcli) (64bit) Homebrew Tap OS X 10.11 (El Capitain) recommended, Tcl/TK 8.5,

Java 7 or newer, Graphviz for Mac OS X


Platform Release Date Download Dependencies
1.6.1-final
Linux 22. April 2016 Tarball (with probcli) (32bit),
Tarball (with probcli) (64bit)
 Java 7 or newer, Tcl/Tk 8.5
Windows 22. April 2016 Zipfile (with probcli) (32bit),
Zipfile (with probcli)
(64bit) 		Tcl/Tk 8.5 for Windows,

Java 7 or newer, Windows Installation Instructions GraphViz

OS X 22. April 2016 Tarball (with probcli) (64bit) Homebrew Tap OS X 10.11 (El Capitain) recommended, Tcl/TK 8.5,

Java 7 or newer, Graphviz for Mac OS X


Platform Release Date Download Dependencies
1.6.0-SR1
Linux 22. April 2016 Tarball (with probcli) (32bit),
Tarball (with probcli) (64bit)
 Java 7 or newer, Tcl/Tk 8.5
Windows 22. April 2016 Zipfile (with probcli) (32bit),
Zipfile (with probcli)
(64bit) 		Tcl/Tk 8.5 for Windows,

Java 7 or newer, Windows Installation Instructions

OS X 22. April 2016 Tarball (with probcli) (64bit) Homebrew Tap OS X 10.11 (El Capitain) recommended, Tcl/TK 8.5,

Java 7 or newer, Graphviz for Mac OS X

1.5.0-final
Linux 19. February 2015 Tarball (with probcli) (32bit),
Tarball (with probcli) (64bit)
 Java 5.0 or newer, Tcl/Tk 8.5
Windows 19. February 2015 Zipfile (with probcli) (32bit),
Zipfile (with probcli)
(64bit) 		Tcl/Tk 8.5 for Windows,

Java 5.0 or newer, Windows Installation Instructions

OS X 19. February 2015 Tarball (with probcli) (64bit) Homebrew Tap Tcl/TK 8.5

Java 5.0 or newer, Graphviz for Mac OS X

1.3.6-final
Linux 4. March 2013 Tarball (32bit),
Tarball (64bit),
 Java 5.0 or newer, Tcl/Tk 8.5
Windows 4. March 2013 Zipfile (with probcli) Tcl/Tk 8.5 for Windows,

Java 5.0 or newer, Windows Installation Instructions

Mac OS X, Snow Leopard, Intel (64-bit) 4. March 2013 Tarball (with probcli) Tcl/TK 8.5 (do not use version 8.5.12.0, use 8.5.11 or use at least 8.5.13)

Graphviz for Mac OS X

Mac OS X, Leopard, Intel (32-bit) 4. March 2013 Tarball (with probcli) Tcl/TK 8.5 (do not use version 8.5.12.0, use 8.5.11),

Graphviz for Mac OS X

Retrieved from "https://prob.hhu.de/w/index.php?title=DownloadPriorVersions&oldid=5206"