# HG changeset patch
# User wenzelm
# Date 1011117080 -3600
# Node ID 0f70bfe510eea37822d0fe20a55d3b9af93e0371
# Parent  8b69dcccaabce339d6985f5d6b3e6d654f7ae5c6
tuned;

diff -r 8b69dcccaabc -r 0f70bfe510ee NEWS
--- a/NEWS	Tue Jan 15 18:43:51 2002 +0100
+++ b/NEWS	Tue Jan 15 18:51:20 2002 +0100
@@ -27,7 +27,7 @@
 
 * added default LaTeX bindings for \<tturnstile> and \<TTurnstile>;
 note that these symbols are currently unavailable in Proof General /
-X-Symbol; added \<euro> symbol;
+X-Symbol; new symbols \<zero>, \<one>, ..., \<nine>, and \<euro>;
 
 * isatool latex no longer depends on changed TEXINPUTS, instead
 isatool document copies the Isabelle style files to the target