--- a/NEWS Wed Jan 09 17:36:54 2002 +0100
+++ b/NEWS Wed Jan 09 17:42:49 2002 +0100
@@ -27,7 +27,11 @@
* added default LaTeX bindings for \<tturnstile> and \<TTurnstile>;
note that these symbols are currently unavailable in Proof General /
-X-Symbol;
+X-Symbol; added \<euro> symbol;
+
+* isatool latex no longer depends on changed TEXINPUTS, instead
+isatool document copies the Isabelle style files to the target
+location;
*** Isar ***
@@ -241,6 +245,8 @@
parts turned into readable document, with proper Isar proof texts and
some explanations (by Gerwin Klein);
+* HOL-Hyperreal is now a logic image;
+
*** HOLCF ***