# HG changeset patch
# User kleing
# Date 1052740643 -7200
# Node ID 0d648f24bab4a815a6cc0c92c3404606bf1b7bb2
# Parent  f843528b9f3c7c3bf6e3cbaf0a47beea339ff29f
removed references to KDE versions (works for any).

diff -r f843528b9f3c -r 0d648f24bab4 INSTALL
--- 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