NEWS
authorhaftmann
Sun Nov 15 10:51:22 2015 +0100 (2015-11-15)
changeset 616750c31e1de164c
parent 61674 072012fb4a10
child 61676 872b2ee75359
NEWS
NEWS
     1.1 --- a/NEWS	Sun Nov 15 10:45:45 2015 +0100
     1.2 +++ b/NEWS	Sun Nov 15 10:51:22 2015 +0100
     1.3 @@ -314,6 +314,9 @@
     1.4  * Keyword 'rewrites' identifies rewrite morphisms in interpretation
     1.5  commands.  Previously, the keyword was 'where'.  INCOMPATIBILITY.
     1.6  
     1.7 +* Command 'sublocale' accepts mixin definitions after keyword
     1.8 +'defines'.
     1.9 +
    1.10  * Command 'permanent_interpretation' is available in Pure, without
    1.11  need to load a separate theory.  Keyword 'defines' identifies
    1.12  mixin definitions, keyword 'rewrites' identifies rewrite morphisms.