--- a/NEWS Fri Aug 27 16:05:46 2010 +0200
+++ b/NEWS Fri Aug 27 18:00:45 2010 +0200
@@ -39,6 +39,12 @@
Note that the corresponding "..._default" references may be only
changed globally at the ROOT session setup, but *not* within a theory.
+* ML structure Unsynchronized never opened, not even in Isar
+interaction mode as before. Old Unsynchronized.set etc. have been
+discontinued -- use plain := instead. This should be *rare* anyway,
+since modern tools always work via official context data, notably
+configuration options.
+
*** Pure ***