NEWS
changeset 54049 566b769c3477
parent 54033 955c6549b3cb
child 54055 5bf55a713232
child 54305 d2def195bb6b
--- a/NEWS	Wed Oct 02 23:05:36 2013 +0200
+++ b/NEWS	Thu Oct 03 00:39:16 2013 +0200
@@ -103,10 +103,11 @@
 
 *** Pure ***
 
-* Target-sensitive commands 'interpretation' and 'sublocale'.
-Particularly, 'interpretation' now allows for non-persistent
-interpretation within "context ... begin ... end" blocks.  See
-"isar-ref" manual for details.
+* Commands 'interpretation' and 'sublocale' are now target-sensitive.
+In particular, 'interpretation' allows for non-persistent
+interpretation within "context ... begin ... end" blocks offering a
+light-weight alternative to 'sublocale'.  See "isar-ref" manual for
+details.
 
 * Improved locales diagnostic command 'print_dependencies'.