NEWS

--- a/NEWS	Thu Jun 09 17:13:52 2016 +0200
+++ b/NEWS	Thu Jun 09 17:14:13 2016 +0200
@@ -35,6 +35,10 @@
 * Old 'header' command is no longer supported (legacy since
 Isabelle2015).
 
+* Command 'bundle_definition' provides a local theory target to define a
+bundle from the body of specification commands (e.g. 'declare',
+'declaration', 'notation', 'lemmas', 'lemma').
+
 
 *** Prover IDE -- Isabelle/Scala/jEdit ***