# HG changeset patch
# User haftmann
# Date 1447581082 -3600
# Node ID 0c31e1de164cece22d8b4042b837995c6069d4bb
# Parent  072012fb4a101b35ba40ae7bec5158741f45b977
NEWS

diff -r 072012fb4a10 -r 0c31e1de164c NEWS
--- 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.