# HG changeset patch
# User kleing
# Date 1052135539 -7200
# Node ID 2e989faba65a10a78dbb6ec3de50e9d1539cdc33
# Parent  65b76920e108b992e1b6130cfa16dc2d60d5fbc4
fixed \<0>..\<9> (-> \<zero>..\<nine>)

diff -r 65b76920e108 -r 2e989faba65a NEWS
--- a/NEWS	Mon May 05 13:42:16 2003 +0200
+++ b/NEWS	Mon May 05 13:52:19 2003 +0200
@@ -191,7 +191,8 @@
 * \<euro> now needs package babel/greek instead of marvosym (which
 broke \Rightarrow)
 
-* normal size for \<0>...\<9> (uses \mathbf instead of textcomp package)
+* normal size for \<zero>...\<nine> (uses \mathbf instead of 
+textcomp package)
 
 
 New in Isabelle2002 (March 2002)