INSTALL
changeset 16653 c12c2f411f77
parent 16476 baa008d0fee9
child 17547 b0d70cf4ed18
equal deleted inserted replaced
16652:4ecf94235ec7 16653:c12c2f411f77
    85 Note that the site-wide Isabelle installation may already provide
    85 Note that the site-wide Isabelle installation may already provide
    86 Isabelle executables in some global bin directory (such as
    86 Isabelle executables in some global bin directory (such as
    87 /usr/local/bin).
    87 /usr/local/bin).
    88 
    88 
    89 
    89 
    90 Isabelle as KDE application
       
    91 ---------------------------
       
    92 
       
    93 Users may install an Isabelle application icon on the KDE desktop as
       
    94 follows:
       
    95 
       
    96   [ISABELLE_HOME]/bin/isatool install -k 1
       
    97 
       
    98 This will install the KDE icon in ~/.kde 
       
    99 
       
   100   [ISABELLE_HOME]/bin/isatool install -k 2
       
   101 
       
   102 does the same, but in ~/.kde2
       
   103 
       
   104 Clicking on Isabelle will invoke the interface wrapper script (capital
       
   105 Isabelle), which is usually configured to run Proof General (cf. the
       
   106 ISABELLE_INTERFACE setting).  Additional options may be passed to
       
   107 Isabelle by editing the application's command line using the standard
       
   108 KDE properties editing facilities.
       
   109 
       
   110 
       
   111 $Id$
    90 $Id$