If you used the Active Tcl distribution, you need to type Should come pre-installed on Mac and often on Windows as well (see below). ![]() The latest Tcl/Tk version of ProB requires the text module from tklib. On Snow Leopard (Mac OS X 10.6.x) you have to install Tcl/Tk as indicated above for ProB 1.3.3. Also 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). Please note that Tcl/Tk 8.6 is not yet supported by SICStus Prolog. In version 1.3.4 we managed to circumvent the bug. Note: for version 1.3.3 on Snow Leopard (Mac OS X 10.6.x) you have to install a as indicated above (the distribution provided by Apple is broken). | Java Runtime Environment (5.0 or newer), Tcl/Tk 8.4 | colspan="4" style="background-color:lightgrey " | 1.3.1-final | colspan="4" style="background-color:lightgrey " | 1.3.2-final | Java Runtime Environment (5.0 or newer), Tcl/Tk 8.5 | colspan="4" style="background-color:lightgrey " | 1.3.3-final | Java Runtime Environment (5.0 or newer), Tcl/Tk 8.5 with tklib (see ]) | colspan="4" style="background-color:lightgrey " | 1.3.4-final To use all of the features of the ProB Tcl/Tk version 1.3.4 you may have to install the tklib library (see Tcl/Tk notes below). Note: please use the provided start scripts (StartProB.sh or StartProBWin.bat) to start ProB. ![]() You can view and copy the source of this page.ĭetails of the ]. The action you have requested is limited to users in the group: Users.
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |