--- a/NEWS Sun Nov 15 10:45:45 2015 +0100
+++ b/NEWS Sun Nov 15 10:51:22 2015 +0100
@@ -314,6 +314,9 @@
* Keyword 'rewrites' identifies rewrite morphisms in interpretation
commands. Previously, the keyword was 'where'. INCOMPATIBILITY.
+* Command 'sublocale' accepts mixin definitions after keyword
+'defines'.
+
* Command 'permanent_interpretation' is available in Pure, without
need to load a separate theory. Keyword 'defines' identifies
mixin definitions, keyword 'rewrites' identifies rewrite morphisms.