NEWS
changeset 59939 7d46aa03696e
parent 59936 b8ffc3dc9e24
child 59949 fc4c896c8e74
     1.1 --- a/NEWS	Mon Apr 06 17:28:07 2015 +0200
     1.2 +++ b/NEWS	Mon Apr 06 22:11:01 2015 +0200
     1.3 @@ -6,9 +6,9 @@
     1.4  
     1.5  *** General ***
     1.6  
     1.7 -* Local theory specifications may have a 'private' modifier to restrict
     1.8 -name space accesses to the current local scope, as delimited by "context
     1.9 -begin ... end". For example, this works like this:
    1.10 +* Local theory specification commands may have a 'private' or
    1.11 +'restricted' modifier to limit name space accesses to the local scope,
    1.12 +as provided by some "context begin ... end" block. For example:
    1.13  
    1.14    context
    1.15    begin