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