DownloadPriorVersions: Difference between revisions

No edit summary
Line 162: Line 162:
| Windows
| Windows
| 4. March 2013
| 4. March 2013
| [http://nightly.cobra.cs.uni-duesseldorf.de/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]]
[http://java.com/en/ Java Runtime Environment (5.0 or newer)], [[Windows Installation Instructions]]
Line 168: Line 168:
| Mac OS X, Snow Leopard, Intel (64-bit)
| Mac OS X, Snow Leopard, Intel (64-bit)
| 4. March 2013
| 4. March 2013
|  [http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.6/ProB.mac_os.10.6.8.x86_64.tar.gz Tarball (with probcli)]  
|  [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.3.6/ProB.mac_os.10.6.8.x86_64.tar.gz Tarball (with probcli)]  
| [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5] (do not use version 8.5.12.0, use [http://downloads.activestate.com/ActiveTcl/releases/8.5.11.1/ 8.5.11] or use at least 8.5.13)
| [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5] (do not use version 8.5.12.0, use [http://downloads.activestate.com/ActiveTcl/releases/8.5.11.1/ 8.5.11] or use at least 8.5.13)
[http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X]
[http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X]
Line 174: Line 174:
| Mac OS X, Leopard, Intel (32-bit)
| Mac OS X, Leopard, Intel (32-bit)
| 4. March 2013
| 4. March 2013
| [http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.6/ProB.mac_os.10.5.8.i386.tar.gz Tarball (with probcli)]
| [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.3.6/ProB.mac_os.10.5.8.i386.tar.gz Tarball (with probcli)]
| [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5]  (do not use version 8.5.12.0, use [http://downloads.activestate.com/ActiveTcl/releases/8.5.11.1/ 8.5.11]),
| [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5]  (do not use version 8.5.12.0, use [http://downloads.activestate.com/ActiveTcl/releases/8.5.11.1/ 8.5.11]),
[http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X]
|-
| colspan="4" style="background-color:lightgrey;" | 1.3.5-final
|-
| Linux
| 11. Oct 2012
| [http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.5/ProB.linux32.tar.gz Tarball (32bit)],<br/>[http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.5/ProB.linux64.tar.gz Tarball (64bit)],<br/>
| Java Runtime Environment (5.0 or newer), Tcl/Tk 8.5
|-
| Windows
| 11. Oct 2012
| [http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.5/ProB.windows.32bit.zip Zipfile (with probcli)]
| [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]]
|-
| Mac OS X, Snow Leopard, Intel (64-bit)
| 11. Oct 2012
|  [http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.5/ProB.mac_os.10.6.tar.gz Tarball (with probcli)]
| [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5] (do not use version 8.5.12.0, use [http://downloads.activestate.com/ActiveTcl/releases/8.5.11.1/ 8.5.11] or use at least 8.5.13)
[http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X]
|-
| Mac OS X, Leopard, Intel (32-bit)
| 11. Oct 2012
| [http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.5/ProB.mac_os.10.5.tar.gz Tarball (with probcli)]
| [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5]  (do not use version 8.5.12.0, use [http://downloads.activestate.com/ActiveTcl/releases/8.5.11.1/ 8.5.11]),
[http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X]
|-
| Mac OS X, Lion, Intel (64-bit)
| 11. Oct 2012
| [http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.5/ProB.mac_os.10.7.5.zip Zipfile (with probcli)]
| [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.6],
[http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X]
|-
| colspan="4" style="background-color:lightgrey;" | 1.3.4-final
|-
| Linux
| 27.&nbsp;Nov&nbsp;2011
| [http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.4/ProB.linux32.tar.gz Tarball (32bit)],<br/>[http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.4/ProB.linux64.tar.gz Tarball (64bit)],<br/>
| Java Runtime Environment (5.0 or newer), Tcl/Tk 8.5 with tklib (see [[#tklib|below]])
|-
| Windows
| 27. Nov 2011
| [http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.4/ProB.windows.32bit.zip Zipfile (with probcli)]
| [http://downloads.activestate.com/ActiveTcl/releases/ Tcl/Tk 8.5 for Windows] with tklib (see [[#tklib|below]]),
[http://java.com/en/ Java Runtime Environment (5.0 or newer)]
|-
| Mac OS X, Snow Leopard, Intel (64-bit)
| 27. Nov 2011
|  [http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.4/ProB.mac_os.10.6.tar.gz Tarball (with probcli)]
| [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5],
[http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X]
|-
| Mac OS X, Leopard, Intel (32-bit)
| 27. Nov 2011
| [http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.4/ProB.mac_os.10.5.8.tar.gz Tarball (with probcli)]
| [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5],
[http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X]
|-
| colspan="4" style="background-color:lightgrey;" | 1.3.3-final
|-
| Linux
| 10. Feb 2011
| [http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.3/ProB.linux.tar.gz Tarball (32bit)],<br/>[http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.3/ProB.linux64.tar.gz Tarball (64bit)],<br/>[http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.3/prob_1.3.3_i386.deb Ubuntu/Debian package (32bit)]
| Java Runtime Environment (5.0 or newer), Tcl/Tk 8.5
|-
| Windows
| 10. Feb 2011
| [http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.3/ProB.windows.32bit.zip Zipfile (with probcli)]
| [http://downloads.activestate.com/ActiveTcl/releases/ Tcl/Tk 8.4 for Windows],
[http://java.com/en/ Java Runtime Environment (5.0 or newer)]
|-
| Mac OS X, Snow Leopard, Intel
| 10. Feb 2011
| [http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.3/ProB.mac_os.10.6.6.tar.gz Tarball (with probcli)]
| [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5],
[http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X]
|-
| Mac OS X, Leopard, Intel
| 10. Feb 2011
| [http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.3/ProB.mac_os.10.5.8.tar.gz Tarball (with probcli)]
| [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5],
[http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X]
|-
| colspan="4" style="background-color:lightgrey;" | 1.3.2-final
|-
| Mac OS X, Tiger, Intel
| 30. Jul 2010
| [http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.2/ProB_tiger_intel.tar.gz Tarball (with probcli)]
| [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.4],
[http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X]
|-
|-
| colspan="4" style="background-color:lightgrey;" | 1.3.1-final
|-
| Linux
| 13. Jan 2010
| [http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.1final5/ProB-linux-1.3.1final5.tar.gz Tarball]
| Java Runtime Environment (5.0 or newer), Tcl/Tk 8.4
|-
| Mac OS X, PPC Tiger
| 07. Dec 2009
| [http://nightly.cobra.cs.uni-duesseldorf.de/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]
[http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X]
|}
|}
Note:  for version 1.3.3 on Snow Leopard (Mac OS X 10.6.x) you have to install a [http://www.activestate.com/activetcl/downloads/ corrected version of Tcl/Tk] (the distribution provided by Apple is broken). In version 1.3.4 we managed to circumvent the bug.
=== Tklib for ProB 1.3.4 ===
ProB 1.3.4 requires the text module from tklib. This
should come pre-installed on Mac and often on Windows as well (see below).
On Linux you need to install tklib. On Ubuntu just type <tt>sudo apt-get install
tklib</tt>. If you used the Active Tcl distribution, you need to type
<tt>sudo /opt/ActiveTcl-8.5/bin/teacup install tklib85</tt>
on Linux.
On Windows, ActiveTcl-8.5 installs an additional tool "Teacup", with which you can install
Tcl/Tk library extensions like <tt>tcllib</tt> and <tt>tklib</tt>.
To use the latest Tcl/Tk version of ProB you may have to install tklib. This library can be installed on Windows with Teacup by typing
<tt>teacup install tklib85</tt>
into the Command Prompt, when you are logged in as an administrator.
On Snow Leopard (Mac OS X 10.6.x) you <b>have</b> to install Tcl/Tk as indicated above for ProB 1.3.3.

Revision as of 16:51, 11 April 2018

Prior Versions of ProB

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


Platform Release Date Download Dependencies
1.7.1-final
Linux 5. October 2017 Tarball (with probcli) (32bit),
Tarball (with probcli) (64bit)
Java Runtime Environment (7.0 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 Runtime Environment (7.0 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 Runtime Environment or better Java JDK (7.0 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 Runtime Environment (7.0 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 Runtime Environment (7.0 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 Runtime Environment or better Java JDK (7.0 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 Runtime Environment (7.0 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 Runtime Environment (7.0 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 Runtime Environment or better Java JDK (7.0 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 Runtime Environment (7.0 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 Runtime Environment (7.0 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 Runtime Environment or better Java JDK (7.0 or newer), Graphviz for Mac OS X

1.5.0-final
Linux 19. February 2015 Tarball (with probcli) (32bit),
Tarball (with probcli) (64bit)
Java Runtime Environment (7.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 Runtime Environment (7.0 or newer), Windows Installation Instructions

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

Java Runtime Environment or better Java JDK (7.0 or newer) Graphviz for Mac OS X

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

Java Runtime Environment (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