--- a/doc-src/System/misc.tex Fri Jul 01 14:22:33 2005 +0200
+++ b/doc-src/System/misc.tex Fri Jul 01 14:41:57 2005 +0200
@@ -160,8 +160,6 @@
Options are:
-d DISTDIR use DISTDIR as Isabelle distribution
(default ISABELLE_HOME)
- -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
@@ -179,10 +177,6 @@
note that a plain manual copy of the original Isabelle executables just would
not work!
-The \texttt{-k} option creates an Isabelle application object for the popular
-\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
logo}}