INSTALL
changeset 16653 c12c2f411f77
parent 16476 baa008d0fee9
child 17547 b0d70cf4ed18
     1.1 --- a/INSTALL	Fri Jul 01 14:22:33 2005 +0200
     1.2 +++ b/INSTALL	Fri Jul 01 14:41:57 2005 +0200
     1.3 @@ -87,25 +87,4 @@
     1.4  /usr/local/bin).
     1.5  
     1.6  
     1.7 -Isabelle as KDE application
     1.8 ----------------------------
     1.9 -
    1.10 -Users may install an Isabelle application icon on the KDE desktop as
    1.11 -follows:
    1.12 -
    1.13 -  [ISABELLE_HOME]/bin/isatool install -k 1
    1.14 -
    1.15 -This will install the KDE icon in ~/.kde 
    1.16 -
    1.17 -  [ISABELLE_HOME]/bin/isatool install -k 2
    1.18 -
    1.19 -does the same, but in ~/.kde2
    1.20 -
    1.21 -Clicking on Isabelle will invoke the interface wrapper script (capital
    1.22 -Isabelle), which is usually configured to run Proof General (cf. the
    1.23 -ISABELLE_INTERFACE setting).  Additional options may be passed to
    1.24 -Isabelle by editing the application's command line using the standard
    1.25 -KDE properties editing facilities.
    1.26 -
    1.27 -
    1.28  $Id$