diff -r 29ce4f1fe72c -r 0cf15843b82f NEWS
--- a/NEWS	Mon Aug 24 15:49:53 1998 +0200
+++ b/NEWS	Mon Aug 24 15:52:39 1998 +0200
@@ -1,5 +1,6 @@
-Isabelle NEWS -- history of user-visible changes
-================================================
+
+Isabelle NEWS -- history user-relevant changes
+==============================================
 
 New in this Isabelle version
 ----------------------------
@@ -17,6 +18,7 @@
   less_imp_add_less  should be replaced by  trans_less_add1
   le_imp_add_le      should be replaced by  trans_le_add1
 
+
 *** Proof tools ***
 
 * Simplifier: Asm_full_simp_tac is now more aggressive.
@@ -91,6 +93,9 @@
 * the distribution now includes Isabelle icons: see
 lib/logo/isabelle-{small,tiny}.xpm;
 
+* isatool install - install binaries with absolute references to
+ISABELLE_HOME/bin;
+
 
 *** HOL ***
 
@@ -225,6 +230,7 @@
   [previously, this check worked only if the rewrite rule was unconditional]
   Now rew can involve either definitions or equalities (either == or =).
 
+
 *** ZF ***
 
 * theory Main includes everything; INCOMPATIBILITY: theory ZF.thy contains