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