|
|
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. Nov 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.
| |