NEWS
changeset 61670 301e0b4ecd45
parent 61660 78b371644654
child 61673 fd4ac1530d63
     1.1 --- a/NEWS	Sat Nov 14 08:45:51 2015 +0100
     1.2 +++ b/NEWS	Sat Nov 14 08:45:52 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 'permanent_interpretation' is available in Pure, without
     1.8 +need to load a separate theory.
     1.9 +
    1.10  * Command 'print_definitions' prints dependencies of definitional
    1.11  specifications. This functionality used to be part of 'print_theory'.
    1.12