--- a/NEWS Sun Jun 29 21:07:53 2014 +0200
+++ b/NEWS Mon Jun 30 08:00:36 2014 +0200
@@ -178,6 +178,8 @@
*** HOL ***
+* Qualified String.implode and String.explode. INCOMPATIBILITY.
+
* Command and antiquotation ''value'' are hardcoded against nbe and
ML now. Minor INCOMPATIBILITY.