diff -r 3f704717a67f -r e94cc23d434a NEWS
--- a/NEWS	Sun Apr 15 13:21:13 2012 +0200
+++ b/NEWS	Sun Apr 15 14:50:09 2012 +0200
@@ -74,6 +74,14 @@
 Any other local theory specification element works within the "context
 ... begin ... end" block as well.
 
+* Bundled declarations associate attributed fact expressions with a
+given name in the context.  These may be later included in other
+contexts.  This allows to manage context extensions casually, without
+the logical dependencies of locales and locale interpretation.
+
+See commands 'bundle', 'include', 'including' etc. in the isar-ref
+manual.
+
 * Rule composition via attribute "OF" (or ML functions OF/MRS) is more
 tolerant against multiple unifiers, as long as the final result is
 unique.  (As before, rules are composed in canonical right-to-left