NEWS

--- a/NEWS	Mon Jul 10 21:02:29 2006 +0200
+++ b/NEWS	Tue Jul 11 00:43:54 2006 +0200
@@ -488,6 +488,7 @@
   (i.e. a boolean expression) by compiling it to ML. The goal is
   "proved" (via the oracle "Evaluation") if it evaluates to True.
 
+* Support for hex (0x20) and binary (0b1001) numerals. 
 
 *** HOL-Complex ***