| changeset 61566 | c3d6e570ccef |
| parent 61565 | 352c73a689da |
| child 61567 | e7d4dac7a79f |
--- a/NEWS Wed Nov 04 08:13:49 2015 +0100 +++ b/NEWS Wed Nov 04 08:13:52 2015 +0100 @@ -271,6 +271,9 @@ regardless of the command. Previously, for 'locale' and 'sublocale' the default was optional ('?'). INCOMPATIBILITY +* Keyword 'rewrites' identifies rewrite morphisms in interpretation +commands. Previously, the keyword was 'where'. INCOMPATIBILITY + * Command 'print_definitions' prints dependencies of definitional specifications. This functionality used to be part of 'print_theory'.