INSTALL
changeset 14009 0d648f24bab4
parent 11126 b98336d6e834
child 14024 213dcc39358f
--- a/INSTALL	Mon May 12 13:51:50 2003 +0200
+++ b/INSTALL	Mon May 12 13:57:23 2003 +0200
@@ -95,11 +95,17 @@
 Isabelle as KDE application
 ---------------------------
 
-Users may install an Isabelle application icon on the KDE 2 desktop as
-follows (version 1 may be specified as well):
+Users may install an Isabelle application icon on the KDE desktop as
+follows:
+
+  [ISABELLE_HOME]/bin/isatool install -k 1
+
+This will install the KDE icon in ~/.kde 
 
   [ISABELLE_HOME]/bin/isatool install -k 2
 
+does the same, but in ~/.kde2
+
 Clicking on Isabelle will invoke the interface wrapper script (capital
 Isabelle), which is usually configured to run Proof General (cf. the
 ISABELLE_INTERFACE setting).  Additional options may be passed to