# HG changeset patch
# User wenzelm
# Date 982189073 -3600
# Node ID 5b97a468b46d43bc853b82ab46bb7ea05eaa7c6a
# Parent  15ffc08f905eedbade0e4c079d60a48a5e3da686
isatool install handles KDE version 1 or 2;

diff -r 15ffc08f905e -r 5b97a468b46d NEWS
--- a/NEWS	Wed Feb 14 20:45:35 2001 +0100
+++ b/NEWS	Wed Feb 14 23:17:53 2001 +0100
@@ -170,8 +170,6 @@
 
 *** General ***
 
-* system: support Poly/ML 4.0;
-
 * Pure: the Simplifier has been implemented properly as a derived rule
 outside of the actual kernel (at last!); the overall performance
 penalty in practical applications is about 50%, while reliability of
@@ -183,6 +181,10 @@
 * Provers: fast_tac (and friends) now handle actual object-logic rules
 as assumptions as well;
 
+* system: support Poly/ML 4.0;
+
+* system: isatool install handles KDE version 1 or 2;
+
 
 
 New in Isabelle99-1 (October 2000)
diff -r 15ffc08f905e -r 5b97a468b46d doc-src/System/misc.tex
--- a/doc-src/System/misc.tex	Wed Feb 14 20:45:35 2001 +0100
+++ b/doc-src/System/misc.tex	Wed Feb 14 23:17:53 2001 +0100
@@ -143,7 +143,8 @@
   Options are:
     -d DISTDIR   use DISTDIR as Isabelle distribution
                  (default ISABELLE_HOME)
-    -k           install KDE application icon on Desktop
+    -k VERSION   install KDE application icon on desktop
+                 (for KDE VERSION 1 or 2)                                       
     -p DIR       install standalone binaries in DIR
 
   Install Isabelle executables with absolute references to the current
@@ -162,8 +163,8 @@
 not work!
 
 The \texttt{-k} option creates an Isabelle application object for the popular
-\textsl{K~Desktop Environment} (KDE)\index{KDE}.  The icon will appear
-directly on Desktop.
+\textsl{K~Desktop Environment} (KDE)\index{KDE}, either for version 1 or 2.
+The icon will appear directly on the desktop.
 
 
 \section{Creating instances of the Isabelle logo -- \texttt{isatool