--- a/NEWS Mon Jan 28 22:27:26 2008 +0100
+++ b/NEWS Mon Jan 28 22:27:27 2008 +0100
@@ -13,6 +13,10 @@
specified via 3 decimal digits (as in SML). E.g. "foo\095bar" for
"foo_bar".
+* Outer syntax: string tokens no longer admit escaped white space,
+which was an accidental (undocumented) feature. INCOMPATIBILITY, use
+white space directly.
+
* Theory loader: use_thy (and similar operations) no longer set the
implicit ML context, which was occasionally hard to predict and in
conflict with concurrency. INCOMPATIBILITY, use ML within Isar which