NEWS

--- a/NEWS	Wed Apr 01 21:12:05 2015 +0200
+++ b/NEWS	Wed Apr 01 22:08:06 2015 +0200
@@ -6,6 +6,9 @@
 
 *** General ***
 
+* Command 'experiment' opens an anonymous locale context with private
+naming policy.
+
 * Structural composition of proof methods (meth1; meth2) in Isar
 corresponds to (tac1 THEN_ALL_NEW tac2) in ML.