# HG changeset patch
# User wenzelm
# Date 982190565 -3600
# Node ID b98336d6e8342f35fa0b6dd953a9244d754a4424
# Parent  b70c3c1b499fbcb66da554ac83daf848da23ad7e
isatool install -k;

diff -r b70c3c1b499f -r b98336d6e834 INSTALL
--- a/INSTALL	Wed Feb 14 23:18:47 2001 +0100
+++ b/INSTALL	Wed Feb 14 23:42:45 2001 +0100
@@ -95,10 +95,10 @@
 Isabelle as KDE application
 ---------------------------
 
-Users may install an Isabelle application icon on the KDE desktop as
-follows:
+Users may install an Isabelle application icon on the KDE 2 desktop as
+follows (version 1 may be specified as well):
 
-  [ISABELLE_HOME]/bin/isatool install -k
+  [ISABELLE_HOME]/bin/isatool install -k 2
 
 Clicking on Isabelle will invoke the interface wrapper script (capital
 Isabelle), which is usually configured to run Proof General (cf. the