NEWS

--- a/NEWS	Fri Nov 19 23:48:07 2010 +0100
+++ b/NEWS	Sat Nov 20 00:53:26 2010 +0100
@@ -490,6 +490,10 @@
 
 *** ML ***
 
+* Renamed raw "explode" function to "raw_explode" to emphasize its
+meaning.  Note that internally to Isabelle, Symbol.explode is used in
+almost all situations.
+
 * Discontinued obsolete function sys_error and exception SYS_ERROR.
 See implementation manual for further details on exceptions in
 Isabelle/ML.