![activetcl for linux activetcl for linux](https://docs.activestate.com/platform/changes/activetcl-projects.png)
For Windows we recommend installing ActiveTcl-8.5 (the win32-ix86-threaded version). Version of Tcl/Tk 8.4 you have to install the newer oneĨ.5 (you should be able to also keep the older version). Starting with ProB 1.3.5 you can now use ProB with Tcl/Tk 8.5 on Windows. On Snow Leopard (Mac OS X 10.6.x) you have to install Tcl/Tk as indicated above for ProB 1.3.3. This issue seems to have been fixed in version 8.5.13. There is a version of ProB available for Tcl/Tk 8.6 on Mac OS X Lion.Īlso note that on Mac OS X you may have to reinstall Tcl/Tk using one of the links given above (because the Tcl/Tk provided by Apple crashes after opening a file using the standard file selection dialog however, even the version of Active Tcl/Tk on Mac seem quite unreliable and prone to crashing for example version 8.5.12 has a serious bug related to copying text, see also here you can use the older version 8.5.11.1 instead). Please note that Tcl/Tk 8.6 is not yet generally supported by SICStus Prolog.
![activetcl for linux activetcl for linux](https://blog.it-see.net/it-dokata/wp-docs/wp-content/uploads/2020/11/Tcl_download-300x171.png)
If you are interested in still earlier releases, please have a look at the Download directory. Prior Versions of ProB going back to 1.3.1 are still are available for download here. On Linux you can typically install Tcl/Tk using sudo apt-get install tcl8.5 tk8.5.
#Activetcl for linux for mac os
Note: for Mac OS you may have to install the ActiveTcl version of Tcl/Tk as indicated above (the distribution provided by Apple is typically broken). Java Runtime Environment (7.0 or newer), Windows Installation Instructions Java Runtime Environment (7.0 or newer), Tcl/Tk 8.5 In particular, Formal Mind can also provide access to the validation report for using ProB as a tool of class T2 or T3 within the European norm EN50128. ProB is free to use and open source commercial support is provided by the spin-off company Formal Mind. Note: please use the provided start scripts (StartProB.sh or StartProBWin.bat) to start ProB. Details of the ProB Licence can be found here.