changeset 63272 | 6d8a67a77bad |
parent 63260 | 0edec65d0633 |
child 63273 | 302daf918966 |
--- 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 ***