--- 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)
--- 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