1.1 --- a/INSTALL	Mon May 12 13:51:50 2003 +0200
     1.2 +++ b/INSTALL	Mon May 12 13:57:23 2003 +0200
     1.3 @@ -95,11 +95,17 @@
     1.4  Isabelle as KDE application
     1.5  ---------------------------
     1.6  
     1.7 -Users may install an Isabelle application icon on the KDE 2 desktop as
     1.8 -follows (version 1 may be specified as well):
     1.9 +Users may install an Isabelle application icon on the KDE desktop as
    1.10 +follows:
    1.11 +
    1.12 +  [ISABELLE_HOME]/bin/isatool install -k 1
    1.13 +
    1.14 +This will install the KDE icon in ~/.kde 
    1.15  
    1.16    [ISABELLE_HOME]/bin/isatool install -k 2
    1.17  
    1.18 +does the same, but in ~/.kde2
    1.19 +
    1.20  Clicking on Isabelle will invoke the interface wrapper script (capital
    1.21  Isabelle), which is usually configured to run Proof General (cf. the
    1.22  ISABELLE_INTERFACE setting).  Additional options may be passed to