isatool install -k;
authorwenzelm
Wed Feb 14 23:42:45 2001 +0100 (2001-02-14)
changeset 11126b98336d6e834
parent 11125 b70c3c1b499f
child 11127 e43723fff70c
isatool install -k;
INSTALL
     1.1 --- a/INSTALL	Wed Feb 14 23:18:47 2001 +0100
     1.2 +++ b/INSTALL	Wed Feb 14 23:42:45 2001 +0100
     1.3 @@ -95,10 +95,10 @@
     1.4  Isabelle as KDE application
     1.5  ---------------------------
     1.6  
     1.7 -Users may install an Isabelle application icon on the KDE desktop as
     1.8 -follows:
     1.9 +Users may install an Isabelle application icon on the KDE 2 desktop as
    1.10 +follows (version 1 may be specified as well):
    1.11  
    1.12 -  [ISABELLE_HOME]/bin/isatool install -k
    1.13 +  [ISABELLE_HOME]/bin/isatool install -k 2
    1.14  
    1.15  Clicking on Isabelle will invoke the interface wrapper script (capital
    1.16  Isabelle), which is usually configured to run Proof General (cf. the