* added \<euro> symbol;
* HOL-Hyperreal is now a logic image;
* isatool latex no longer depends on changed TEXINPUTS;

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