# HG changeset patch
# User wenzelm
# Date 1010594569 -3600
# Node ID ac3fa7c05e5a9b8629aa659782cd698225eb00cb
# Parent  ba7d930e9b0dc0c174608814017c8967afaf5efa
* added \<euro> symbol;
* HOL-Hyperreal is now a logic image;
* isatool latex no longer depends on changed TEXINPUTS;

diff -r ba7d930e9b0d -r ac3fa7c05e5a NEWS
--- 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 ***