NEWS
changeset 57437 0baf08c075b9
parent 57431 02c408aed5ee
child 57439 0e41f26a0250
     1.1 --- a/NEWS	Sun Jun 29 21:07:53 2014 +0200
     1.2 +++ b/NEWS	Mon Jun 30 08:00:36 2014 +0200
     1.3 @@ -178,6 +178,8 @@
     1.4  
     1.5  *** HOL ***
     1.6  
     1.7 +* Qualified String.implode and String.explode.  INCOMPATIBILITY.
     1.8 +
     1.9  * Command and antiquotation ''value'' are hardcoded against nbe and
    1.10  ML now.  Minor INCOMPATIBILITY.
    1.11