1.1 --- a/NEWS	Mon Aug 24 15:49:53 1998 +0200
     1.2 +++ b/NEWS	Mon Aug 24 15:52:39 1998 +0200
     1.3 @@ -1,5 +1,6 @@
     1.4 -Isabelle NEWS -- history of user-visible changes
     1.5 -================================================
     1.6 +
     1.7 +Isabelle NEWS -- history user-relevant changes
     1.8 +==============================================
     1.9  
    1.10  New in this Isabelle version
    1.11  ----------------------------
    1.12 @@ -17,6 +18,7 @@
    1.13    less_imp_add_less  should be replaced by  trans_less_add1
    1.14    le_imp_add_le      should be replaced by  trans_le_add1
    1.15  
    1.16 +
    1.17  *** Proof tools ***
    1.18  
    1.19  * Simplifier: Asm_full_simp_tac is now more aggressive.
    1.20 @@ -91,6 +93,9 @@
    1.21  * the distribution now includes Isabelle icons: see
    1.22  lib/logo/isabelle-{small,tiny}.xpm;
    1.23  
    1.24 +* isatool install - install binaries with absolute references to
    1.25 +ISABELLE_HOME/bin;
    1.26 +
    1.27  
    1.28  *** HOL ***
    1.29  
    1.30 @@ -225,6 +230,7 @@
    1.31    [previously, this check worked only if the rewrite rule was unconditional]
    1.32    Now rew can involve either definitions or equalities (either == or =).
    1.33  
    1.34 +
    1.35  *** ZF ***
    1.36  
    1.37  * theory Main includes everything; INCOMPATIBILITY: theory ZF.thy contains