--- a/NEWS Thu Nov 26 23:23:19 2020 +0100
+++ b/NEWS Fri Nov 27 06:48:35 2020 +0000
@@ -57,6 +57,12 @@
* Session Pure-Examples contains notable examples for Isabelle/Pure
(former entries of HOL-Isar_Examples).
+* Named contexts (locale and class specifications, locale and class
+context blocks) allow bundle mixins for the surface context. This
+allows syntax notations to be organized within bundles conveniently.
+See src/HOL/ex/Specifications_with_bundle_mixins.thy for examples
+and the Isar reference manual for syntx descriptions.
+
* Definitions in locales produce rule which can be added as congruence
rule to protect foundational terms during simplification.