--- a/NEWS Mon Apr 06 17:28:07 2015 +0200
+++ b/NEWS Mon Apr 06 22:11:01 2015 +0200
@@ -6,9 +6,9 @@
*** General ***
-* Local theory specifications may have a 'private' modifier to restrict
-name space accesses to the current local scope, as delimited by "context
-begin ... end". For example, this works like this:
+* Local theory specification commands may have a 'private' or
+'restricted' modifier to limit name space accesses to the local scope,
+as provided by some "context begin ... end" block. For example:
context
begin