# HG changeset patch
# User wenzelm
# Date 924081849 -7200
# Node ID c4072604378ecff7e1f5e1af0dc19e1fa707a30d
# Parent  702527a8b2a1895da9a3e5686feaefd2194fa0d7
tuned;

diff -r 702527a8b2a1 -r c4072604378e NEWS
--- a/NEWS	Wed Apr 14 11:17:16 1999 +0200
+++ b/NEWS	Wed Apr 14 11:24:09 1999 +0200
@@ -1,3 +1,4 @@
+
 Isabelle NEWS -- history user-relevant changes
 ==============================================
 
@@ -45,8 +46,8 @@
 * new flag show_tags controls display of tags of theorems (which are
 basically just comments that may be attached by some tools);
 
-* improved isatool install: -k creates KDE application icon, -p DIR
-installs binaries in path;
+* improved isatool install: option -k creates KDE application icon,
+option -p DIR installs standalone binaries;
 
 * added ML_PLATFORM setting (useful for cross-platform installations);