NEWS
changeset 61673 fd4ac1530d63
parent 61670 301e0b4ecd45
child 61675 0c31e1de164c
     1.1 --- a/NEWS	Sat Nov 14 08:45:52 2015 +0100
     1.2 +++ b/NEWS	Sat Nov 14 17:37:44 2015 +0100
     1.3 @@ -315,7 +315,9 @@
     1.4  commands.  Previously, the keyword was 'where'.  INCOMPATIBILITY.
     1.5  
     1.6  * Command 'permanent_interpretation' is available in Pure, without
     1.7 -need to load a separate theory.
     1.8 +need to load a separate theory.  Keyword 'defines' identifies
     1.9 +mixin definitions, keyword 'rewrites' identifies rewrite morphisms.
    1.10 +INCOMPATIBILITY.
    1.11  
    1.12  * Command 'print_definitions' prints dependencies of definitional
    1.13  specifications. This functionality used to be part of 'print_theory'.