ProB V1.0.6 Installation Manual Document Version 0 . 2 (generated
Contents
1. Figure 1 15 Select Finish to exit the completed installation 1 Installing ProB 18 1 6 Installing TclTk 1 6 1 Frequently Asked Questions e Do I need to install Tcl Tk At present you cannot use ProB without Tcl Tk installed However a version of ProB with a Java interface is currently being written Tf you subscribe to the ProB users email list you will be notified when it becomes available e Can I use a different version or distribution of Tcl Tk Maybe The only limitations we know of at present are those inherent to Sicstus Prolog This means that windows users require version 8 3 of Tcl Tk Linux Unix users should use at least version 8 3 Sicstus recommends 8 4 for Unix environments ProB is developed using both Active and Aqua Tcl 1 Installing ProB 19 1 6 2 Installing Active Tcl Tk for Windows Quick Installation Download and run open the installation binary from http downloads activestate com ActiveTcl Windows 8 3 5 ActiveTc18 3 5 0 2 win32 ix86 exe Use default installation directories and settings Sources for Active Tcl for Windows Windows users currently require Tcl version 8 3 Active Tcl Tk is recommended http www activestate com Products ActiveTcl At the current time the installation binary is located at http downloads activestate com ActiveTcl Windows 8 3 5 ActiveTcl8 3 5 0 2 win32 ix86 exe e An installation guide specifically for windows from Active is not available e A frequ2. Open Source B to XML Java Parser Type Checker Bruno Tatibouet see http lifc univ fcomte fr tatibouet JBTOOLS for more details Known limitations Many Unsupported features complex definitions some operators WHILE loops see included machines for which features are actually supported not yet optimised for speed using partial evaluation recursive set comprehension ss xx xx ss may not always work properly To visualize state space dot from AT amp T s GraphViz package has to be installed See the FAQ txt file for troubleshooting and frequently asked questions 1 Installing ProB 4 1 2 Installation Requirements This manual is concerned with the TclTk version of PROB The prototype alpha Java GUI version has no accompanying documentation at this time Please do not attempt to install ProB before ensuring you have a valid and correctly installed version of Tcl Tk Mac OS X Version 8 3 or 8 4 preferred To get the most benefit from ProB we strongly recommend that you install GraphViz and Java if they are not already installed Requires Modification of sample machines and or authoring Java Run time or SDK of new machines Visualisation of State Spaces current state vis GraphViz ited shortest path to current state Source URLs and installation instructions for TclTk Java and GraphViz may be found in the Verbose edition of the installation instructions referred to b
3. 1 2 2 Student Edition CDROM Frequently Asked Questions e Java VM installation Broken links from Local Copies in Installation Manual If you are using the Southampton University ECS distribution of ProB we have attempted to put all the software you will need onto CD However some URLs do not translate well to local file systems such as on the CDROM Invariably the software will be on the CDROM in the directory referred to by the local copy reference but may contain characters in the file name that cause your browser to become confused for example question marks and tildes Currently this problem only affects the Java installation programs from Sun You will find the them in the cached java sun com webapps directory of the CDROM Note that MAC OS X users should use the software update facility in preference e Windows Java VM Installer Should 1 choose the on line or offline installer Preferably use the on line installer that is available from http java sun com Go to the Java VM Link on the right hand side Select Get it Now If you intend to download the installer for later use or are using the CDROM use the offline installer The offline version is in the directory cached java sun com webapps download on the CDROM 1 Installing ProB 1 2 3 Installing ProB for Windows Quick Install Download and install using default settings ProB from http www ecs soton ac uk mal systems ProB_Download Pro
4. section Ultra Quick Instructions 1 pages Brief instructions slightly more detail For latest see Full installation instructions at http www ecs soton ac uk mal systems ProB_Download INSTALL html A copy of these instructions is included in the appendices of the User Manual in the section Brief Installation Instructions 9 pages Detailed instructions for PROB only detailed information only about installing PROB not other pieces of third party software used by PROB Includes instructions for Linux non RPM Solaris Mac OSX and Windows with screen shots where necessary Available as PostScript Adobe Acrobat and HTML 15 pages Complete OS edition Includes detailed installation instructions with screen shots for in stalling PROB as well as our guides to how to install other third party software e g GraphViz TclTk Java for use by PROB Separate editions are available for Linux Mac OSX Solaris and Windows Available as PostScript Adobe Acrobat and HTML 44 pages Obscenely verbose edition Includes detailed install guide with screen shots for installing PROB as well as other software that ma y be used by PROB Provides instructions for all editions of PROB and our instructions for additional third party software used by PROB for Solaris AND Linux RPM and otherwise AND Windows AND Mac OSX Available as PostScript Adobe Acrobat and HTML 1 Installing ProB 3 1 1 ProB Licence The latest version of this information c
5. B_Windows_Installer exe Sources of ProB for Windows ProB may be obtained from the Declarative Systems and Software Engineering Group of the School of Electronics and Computer Science University of Southampton UK http www dsse ecs soton ac uk The official homepage of ProB is at http www ecs soton ac uk mal systems prob html At the current time the installation binary is located at http www ecs soton ac uk mal systems ProB_Download ProB_Windows_Installer exe e The latest version of the installation guide can be obtained from is not applicable e A continually updated frequently asked questions document FAQ is available here http www ecs soton ac uk mal systems ProB_Download FAQ txt e The user manual for ProB is available at is not applicable Detailed guide to the installation process The process of installing ProB for windows should be straight forward if you do not change the default installation location 1 Download the installation binary from http www ecs soton ac uk mal systems ProB_Download ProB_Windows_Installer exe Open Run the ProB installer The ProB Licence and general release notes will be dispayed You must accept the Licence conditions to proceed with installatioh Figure 1 1 Specify the directory into which ProB should be installed Note that installing to a directory that contains spaces e g ProgramVFiles is not recommended Select Install to unpack and inst
6. ProB V1 0 6 Installation Manual Document Version 0 2 generated June 29 2004 http www ecs soton ac uk mal systems prob html University of Southampton UK Declarative Systems and Software Engineering Contents 1 Installing ProB 2 1 1 ProB LICENCE sie ee a sels ME WORE A ee ee Be i ecto 3 1 2 Installation Requirements 0 20202 eee ee eee 4 1 2 1 Frequently Asked Questions o e eee eee eee 4 1 2 2 Student Edition CDROM Frequently Asked Questions 6 1 23 Installing ProB for Windows o e 7 1 3 Keeping PROB up to date e 10 1 4 Installing GraphViz e 11 1 4 1 Frequently Asked Questions o e eee ee eee 11 1 42 Installing GraphViz for Windows o 12 1 5 Installing a Java Run time Environment e e 15 1 5 1 Frequently asked questions ee eee 15 1 5 2 Installing the Java Run time Environment for Windows 16 1 63 Installing Vel Ke ss A A a AT feo Ses Se Soo 18 1 6 1 Frequently Asked Questions o e e e 18 1 6 2 Installing Active Tcl Tk for Windows ooo 19 1 Installing ProB Available Editions Thank you for your interest in PROB Please ensure that you are using the correct edition of the installation instructions appropriate to your needs and expertise Installation instructions are available in a r
7. all ProB Figure 1 2 Once ProB has decompressed Figure 1 3 to the specified directory the install window will disapper and a shortcut icon will appear on the desktop Figure 1 4 To confirm that ProB has succesfully installed double click on the short cut Perform a self check Menus bar Debug Perform Self Check Figure 1 5 A pop up will appear stating whether the self check has passed or not In the unlikely event that the self check fails consult the section on Trouble Shooting in the PROB User Manual You will need to un iconify the ProB command window and examine the output It should look like Figure 1 6 If there is an error the text of the error will appear in the command window as well as in a po pup 1 Installing ProB 2 Recycle Bin e ProB Licence ProB_Windo michael Leuschel Stephane Lo Prest Leonid Mikhailov Ed rT Turner Phil Turner Open Source B to XML Java Parser Type Checker Bruno Tatibouet see http Mifc univfcomte fr tatibouet JBTOOLS for more details Known limitations Many Unsupported features complex definitions some operators WHILE loops see included machines for which features are actually supported not yet optimised for speed using partial evaluation recursive set comprehension ss px l m ss may not always work properly To visualize state space dot from AT amp T s GraphViz package has to be installed See the FAG d file for troubleshooti
8. an be obtained via About gt About ProB Version 1 0 6 Released on June 16 2004 ProB A B animator and model checker C 2000 2004 Michael Leuschel DSSE University of Southampton All rights reserved Free for non commercial academic use or evaluation purposes For commercial use contact the author http www ecs soton ac uk mal ProB comes with ABSOLUTELY NO WARRANTY OF ANY KIND This software is distributed in the hope that it will be useful but WITHOUT ANY WARRANTY The author s do not accept responsibility to anyone for the consequences of using it or for whether it serves any particular purpose or works at all No warranty is made about the software or its performance For updates and news check http www ecs soton ac uk mal systems prob html http www ecs soton ac uk mal systems ProB_Download Updates ProB uses state of the art Prolog technology co routining finite domain constraint solvers PILLOW XML package to achieve symbolic debugging constraint based and temporal logic based model checking The tool is partly being developed within the EPSRC grants iMoc and ABCD Development Copyright and Intellectual Property Rights B Kernel amp Model Checker Michael Leuschel TCL TK Interface Michael Leuschel Laksono Adhianto XML to Prolog Parser Compiler amp Further Extensions Michael Butler Carla Ferreira Michael Leuschel Stephane Lo Presti Leonid Mikhailov Ed Turner Phil Turner
9. ange of levels of detail This is not a mistake some people only require one page others quite a few more If you cannot follow the instructions or have problems installing we suggest you look to the installation documentation with the next highest level of detail See edition list below If you are having problems installing third party software for use with PROB in the first instance please see the FAQs that accompany the Complete OS and Verbose editions of the installation instructions below If your problem is not addressed in these editions please see the Trouble Shooting chapter in the User Manual You may also like to consult the instructions that came with the software causing difficulty Requests for help may also be sent to the PROB mail list If you are unfamiliar with installing software or fixing problems that may occur when installing third party software it isn t a good idea to work your way through the different versions of the installation instructions starting with Ultra brief and working up stick to the most detailed it will be quicker in the end All versions of the installation instructions are available from the PROB homepage http www ecs soton ac uk mal systems prob 0 5 page Ultra quick instructions See the Quick Install Instructions at http www ecs soton ac uk mal systems ProB_Download INSTALL html A copy of these instructions is in cluded in the appendices of the User Manual in the
10. e from the preference defaults please make a backup of the file ProB_ Preferences p1 before removing over writing your old installation Simply copy this file back to directory into which the binary ProBSolaris sh or ProBLinux sh or ProBMac sh or ProBWin exe as appropriate resides after re installing Alternatively install the new version of PROB to another directory Windows users can run the new installer and answer yes to the prompt for over writing files The windows installer un packer should automatically attempt to re install PROB into the directory where the existing version is installed UNIX Solaris Linux and Mac OS X users may simply decompress and untar the in stallation tar gz over their existing installation Over writing ProB Binary Users with version 1 0 6 or later should obtain the appropriate file i e ProBSolaris sh ProBLinux sh ProBMac ProBWin exe or ProB sav as appropriate from http www ecs soton ac uk mal systems ProB_Download Updates and over write their existing binary with the new copy PROB will need to be restarted Solaris Linux and Mac OS X users with wget installed need only change to the installation directory of PROB and run wget http www ecs soton ac uk mal systems ProB_Download Updates XXX where XXXX is either ProBSolaris sh or ProBLinux sh or ProBMac sh as appropriate You will need to change the permissions on the downloaded file to allow execution e g using chmod u x I
11. elect Next to proceed 13 1 Installing ProB x Enter the name of the Program Manager group to add Graphviz icons to Graphviz Accessories ActiveState ActiveT cl 8 3 5 0 Administrative Tools AVG 6 0 AntiVirus System Camtasia Zone Labs Cancel id Start 3 about blank Microso 2 Start Installation You are now ready to install Graphviz Press the Next button to begin the installation or the Back button to reenter the installation information d Start 2 about blank Microso a 2 Graphviz Installation Graphviz has been successfully installed Press the Finish button to exit this installation Cancel Figure 1 12 Select Finish to complete installation 14 1 Installing ProB 15 1 5 Installing a Java Run time Environment 1 5 1 Frequently asked questions e Do I need the Java Run time Environment If you wish to edit the provided sample machines or create compile your own yes ProB will run without a Java distribution installed but you will only be able to use the sample machines we have pre compiled If you edit them they will cease to load e Can I use an alternative Java VM or SDK Yes However if ProB fails to work correctly because of differences between the Sun Java VM and your particular installation we may not be able to help resolve the problem 1 Installing ProB 16 1 5 2 Installing the Java Run time Environment for Windows Quick Installation Download and r
12. elow 1 2 1 Frequently Asked Questions e How do I get assistance with problems with ProB Non members of Southampton University Please send you comments suggestions or problems to the ProB mailing list You can subscribe by sending an email with subscribe prob users in the body to majordomo ecs soton ac uk Members of Southampton University If you are a member of Southampton University you should use the problem tracker located at https secure ecs soton ac uk cgi bin jbug systems ProB Unresolved problems remain active on the problem tracker Please do not submit a request for help or report problems that already occur on the list The student edition of the documentation will be updated regularly so please also check the on line version before submitting requests for help Tf you find a problem with ProB as opposed to third party software please let us know as soon as possible We are happy to receive suggestions for improvements to ProB or the documentation e Where can I get an up to date FAQ Please check on the official ProB web page http www ecs soton ac uk mal systems prob html Updates will be posted there Tf you subscribe to the ProB mail list you will be notified when updates become available e Windows Do I have to install ProB to C ProB No You can install ProB wherever you like Note however that it is a good idea to avoid placing ProB or B machines in directories whose complete path contain
13. ently asked questions document FAQ from Active for windows is not available e An official user manual http downloads activestate com ActiveTc1 htm1 8 3 5 ActiveTc18 3 5 0 html tar gz Detailed guide to the installation process The process of installing Active Tcl for windows should be straight forward if you do not change the default installation location i e where the Active Tcl installer places its files on your hard 1 Figure 1 16 Download to your desktop the installation binary from http downloads activestate com ActiveTcl1 Windows 8 3 5 ActiveTc18 3 5 0 2 win32 ix86 exe 2 Start the installation either double click on the Tcl feather icon or select open when the download has completed Figure 1 17 3 Click the Setup button When the installer has finished decompressing to your hard disk select Neat to proceed with the installation Figure 1 19 4 Figure 1 18 When the Active Tcl installer prompts for the installation directory the location it will place its files use the default setting If you wish to install Tcl to another location or even a network drive this should be fine However note that ProB may produce cryptic errors if it cannot find the Tcl utilities because you have not selected the default installation location for Tcl If you have sufficient privileges to install for all users do so Otherwise select Install for current user only Now select Next to proceed with the installat
14. he menus in dotty This almost certainly means you have num lock on The graphs that dotty or the PostScript viewer generate do not look like those in the manual Firstly dotty and PostScript viewing support different shapes colours and viewing options Secondly the shapes colours text on nodes visibility and colour fill characteristics used during viewing are all user defined Most likely you have settings different from those used during the generation of the manual See the Typical Settings sub section of the Preferences Settings section of the User Manual for more information On Unix dotty complains that it cannot find lefty Unlike dot and lefty dotty is a script Tf dotty cannot find lefty You have to set the envi ronmental variable LEFTYPATH to the directory that contains the file dotty lefty See the detailed installation notes for GraphViz in this document 1 Installing ProB 12 1 4 2 Installing GraphViz for Windows Quick Install Download and install GraphViz using default settings from http www graphviz org pub graphviz ARCHIVE graphviz 1 10 exe Sources of GraphViz for Windows There are no restrictions on the version of GraphViz used with ProB However the installed version must include command line versions of dot dotty and lefty GraphViz may be obtained from the official AT amp T web site at http www research att com sw tools graphviz The remainder of this section assumes you are installing t
15. he official GraphViz distribution from AT amp T At the current time the installation binary is located at http www graphviz org pub graphviz ARCHIVE graphviz 1 10 exe e An installation guide specifically for windows from AT amp T http www research att com sw tools graphviz download html e A frequently asked questions document FAQ from AT amp T for windows http www research att com sw tools graphviz doc gvizfaq html e An official user manual http www research att com sw tools graphviz dottyguide pdf Detailed guide to the installation process The process of installing GraphViz for windows should be straight forward if you do not change the default installation location There are seven simple steps 1 Download the installation binary from http www graphviz org pub graphviz ARCHIVE graphviz 1 10 exe to your desk top When the download has completed start the installation by double clicking on the desktop icon or select open when the download has completed Figure 1 7 Select Start to proceed with installation the warnings about other open applications can safely be ignored Figure 1 8 Choose an installation directory for GraphViz Use the default directory if possible Figure 1 9 Choose the Program Group into which GraphViz will be added default is it s own group Select Next to proceed Figure 1 10 Double check installation settings and select Next to proceed w
16. icrosoft Internet Explorer File Ed Qu O AAG sn w Quds E 2 BI Address 48 http JJjava sun comiwebapps download AutoDL Bundield 9504 Download complete Er Download Complete Saved 03 windows 586 p iftw exe From ost2 mtyweal del genuity net T Downloaded 1 35 MB in 16 sec Download to sJi2re 1_4_2_03 windows 586 p iftw exe Transfer rate 86 5 KB Sec Close this dialog box when download completes Open Open Folder Figure 1 13 Download the installation binary then Open Recycle Bin 4 18 Java 2 Runtime Environment SE v1 4 2_03 Setup Type ActiveTcl8 3 Setup Type Choose the setup type that best suits your needs DC Please select a setup type jre 1 4200 id Typical E Al recommended features will be installed O Custom Specify the installation directory and choose which program features to install You can change your choice of features after installation by using the Add Remove Programs utility in the Control Panel Recommended for advanced users ae Shortcut to tsa on File Serv Recycle Bin 4 Java 2 Runtime Environment SE v1 4 2_03 Complete ActiveTcl8 3 InstallShield Wizard Completed jare 1_42 The InstallShield Wizard has successfully installed Java 2 Runtime Environment SE v1 4 2_03 Click Finish to exit the wizard Java Web Start Beck Canal ae Shortcut to tsa on File Serv
17. ion of Active Tcl 5 Installation should now complete by itself 1 Installing ProB E Recyde Bin F Index of Active TclWindows 8 3 5 Microsoft Internet Explorer Fie Edt View Favorites Toole Help O O MBO Pee dras Qe O G Adress El ho idownloads aeaa com aciveelfwindows6 3 51 Name 4D rarene vircervo Saving 18 3 5 0 2 win32 ix86 exe from downloads activestate com ActiveTe18 3 5 0 2 w gt eee ee wek 1 min 17 ec 1 46 ME of 10 6 MB copied E TT T Transler rate 122KB Se0 mossur tee this dalog box when download completes Apachel1 3 19 Server at fip ActiveSt MD internet start Bi inde Figure 1 16 Download Active Tcl installation file E Recyde Bin 4 F Index of Active TclWindows 3 5 Microsoft Internet Explorer ActiveTds 3 4 Fie Edt Vew Favorites Toos Help O O NAH Powe reas Que O 2 2 BS Adress El hup ffdownoads activestate com aciveTelhwindow6 3 51 LENTE Index of ActiveTcl Windows 8 3 5 Nawe Last modified Size Description A ann WinZip Self Fxtractor ActiveTcl8 3 5 0 2win32 1x86 exe E ictiverers 3 9 0 2 u gt 4 AciveStateActiveTol 8 3 5 0 Installer E efet Tiek Setup to begn eco an talon ot a IE ESE T era gt lt lt icrio rt About Apachel1 3 19 Server at fip ActiveState com Port 80 internet start Bi inde Figure 1 17 Run Active Tcl installer Recyde Bin 4 3 Index of ActiveTcUWindows 8 3 5 Micro
18. ith installation Figure 1 11 Installation should now complete by itself Select Finish when prompted Figure 1 12 1 Installing ProB gt a A seach she ravortes media Address www araphvie ora pubjaraphvie ARCHIVE araphviz 1 10 exe Links Download complete 2 51 MB in 1 sec C Documents and igraphviz 1 10 exe Transfer rate 2 51 MB Sec Close this dialog box when download completes open Open Eolder Close internet Welcome E Welcome to Graphviz Setup program This p2 program will install Graphviz on pour computer It is strongly recommended that you exit all Windows programs before running this Setup Program Click Cancel to quit Setup and close any programs you have tunning Click Next to continue with the Setup program WARNING This program is protected by copyright law and intemational treaties Unauthorized reproduction or distribution af this program or any portion of it may result in severe civil and criminal penalties and will be prosecuted to the maximum extent possible under law Setup will instal Graphviz in the following folder To install into a different folder click Browse and select another folder You can choose not to install Graphviz by clicking Cancel to exit Setup Destination Folder C Program Files ATT Browse Cancel wiz Installation Figure 1 9 Choose installation directory S
19. mportant Notes on Upgrading ProB 1 Updates are the latest public releases Older versions of updates and installation binaries tars are not currently available Unless you retain the previous installation update files in separate directories locations you will not be able to down grade PROB to a previous version However if you would like a previous release of PROB please contact us T Note that you don t need to update PROB Check the release file at http www ecs soton ac uk mal systems ProB_Download Updates RELEASE_HISTORY txt to see the recent changes 1 Installing ProB 11 1 4 Installing GraphViz GraphViz is a set of graph drawing tools We strongly recommend that you install them ProB is much easier to use with visualisation functionality than without 1 4 1 Frequently Asked Questions Do I have to install GraphViz No You can use ProB without visualisation However if you attempt to use the commands in the animation visualisation menu without GraphViz installed you may cause an error in ProB Should I use dotty or a PostScript viewer There is no simple answer to this question See the Graphical Viewer Preference sub section in the section on Beginner Mode Settings of the User Manual for more information My state spaces are large and both dotty and PostScript viewers are cumbersome for visu alisation We are working on an alternative viewer for large state spaces I m using Unix and I cannot access t
20. ng and frequently asked questions ae TSA T Data 2 Start si Y ProB V1 0 0 for Windows ProB_Windo Press Install button to start extraction Use Browse button to select the destination folder from the folders tree It can be also entered manually Ifthe destination folder does not exist it will be created automatically before extraction Destination folder Installation progress TSA T L Tr ProB V1 0 0 for Windows ProB_Windo Extracting Machines LessSimple Game Extracting Machines LessSimple Extracting Machines Laws FunLaws mch Extracting Machines Laws FunLaws xml Extracting Machines Laws SeqLaws mch Extracting Machines Laws SeqLaws xml Extracting Machines Lawe SetLaws mch Extracting Machines Laws SetL_aws xml Extracting Machines Laws Setl_awsNat mch Extracting Machines Laws SetLawsNat xml Extracting Machines Laws Extracting Machines Extracting MyConsoleParser ConsoleParser jar SES MyConsoleParseriConsoleTypeChecker jar Destination folder EAProB Installation progress G E TSA T me Data 2 Figure 1 3 ProB will install into the selected directory window will exit when complete 1 Installing ProB Recycle Bin ProB_Windo TSA T ae Data 2 72 stan 8 7 Quin Figure 1 4 Locate and open the ProB shortcut that will have appeared on the desktop 4 ProB 1 0 1 c Michael Leuschel File A
21. nimate Verify Analyse Preferences ProB Version 1 0 x First released on March 9 2004 LUZ StateProperties EnabledOperations initialise_machine 0 History DEE Figure 1 5 File Animate Verify Analyse Preferences Debug erOperation dc king global op f d 1 argument _print_function olors dot_print_root dot_pi p nt_node_ids dot_print_nod path_to_ps dot_root_s info dot_use_ps path_to_dot path_to_dot dot_normal e nt_node_shape d colour pi i Figure 1 6 Un iconify ProB command window to verify Self Check has passed 1 Installing ProB 10 1 3 Keeping ProB up to date PROB is regularly updated See the release notes in the User Manual to get some idea of the frequency of update releases If you would like to be notified of new updates please register with the PROB mailing list To determine if your installation of PROB is out of date use About gt Check for Updates A pop up will state if a more recent release of PROB is available A more efficient method of updating PROB came into being with version 1 0 6 Therefore if you are using PROB version 1 0 5 or earlier you will need to perform a fresh installation of ProB If you are using PROB V1 0 6 or later you only need to download a replacement binary file ProBSolaris sh or ProBLinux sh or ProBMac sh or ProBWin exe as appropriate Fresh Install If you do not want to risk losing chang
22. soft Internet Explorer ei Edt Welcome tothe ActiveState ActiveTc 8 3 5 0 distibutien for WindQ INTEL a TkTable E T finer Tel 16 inci Tk ActiveTe EG LO 2 7 Windows only MD Internet Figure 1 18 Proceed with Active Tcl installation once decompression has finished 1 Installing ProB 3 Recyde Bin 1 2 Index of ActiveTcUWindows 8 3 5 Microsoft Internet Explorer aeia T edt vew F ActiveState ActiveTcl 8 3 5 0 Installer Please specif installaion directo and mode Installation mode Ifyou select Install for cument user only ActiveTcl wil only be available for the current user Ifyou select Installfor al users Bebe d wil be made available for allusers orithis machine Please note that you have to have administrative rights on this machine lor the option tal for all users to success Instalor current user only ActiveTcl 7 Instalar all users internet Figure 1 19 Select the installation directory and type 21
23. spaces e Why is the installation manual so large so small The documentation is available in multiple editions ranging from large and verbose to half a page You probably have the wrong edition for your needs Please read the first section of this document 1 Installing ProB The Postscript manuals won t print This is likely to be due to the large colour images contained in the documentation If you are using Windows try to print from the Acrobat version If we receive enough requests we will create monochrome versions of the documentation Some of the figures int the html version of the manual look strange or are grey This is by produce of latex2html We are attempting to resolve this issue Why aren t there installation instructions for operating system machine architecture XYZ There are limitations on which distributions of ProB we can produce either Sicstus Prolog isn t available for that platform or we do not have access to the relevant hardware We won t write installation instructions for third party software if ProB cannot be compiled for that workstation or operating system How can I keep my version of ProB up to date Launch ProB and select Check for Updates in the About menu The Adobe Acrobat version of the documentation looks awful on Macintosh OS X This is a problem with the latex pdf generator Convert the postscript versions of the documents using the tools that come with OS X 1 Installing ProB 6
24. un open the off line installer from the following URL When prompted choose typical installation http java sun com webapps download AutoDL BundleId 9567 Sources for Java Run time Environment for Windows The official web site for the Sun Java RTE is http java sun com The remainder of this section assumes you are installing the Sun version of the Java Run time Environment At the current time the installation binary is located at http java sun com webapps download AutoDL BundleId 9567 e An installation guide specifically for windows http java com en download help win_manual jsp e A frequently asked questions document FAQ http java com en download faq index jsp e An official user manual has not yet been located Detailed guide to the installation process The process of installing the Java Run time Environment for windows should be straight forward if you do not change the default installation location details and select typical for the installation type 1 Download to your desktop the installation binary from http java sun com webapps download AutoDL BundleId 9567 2 When the download has completed start the installation by double clicking on the desktop icon Figure 1 5 2 3 Select the typical installation type and click Nezt to start installation Figure 1 5 2 4 Installation should now complete by itself Select Finish when prompted Figure 1 Installing ProB 2 about blank M
Download Pdf Manuals
Related Search