| changeset 51565 | 5e9fdbdf88ce |
| parent 51553 | 63327f679cff |
| child 51596 | 4f25e800f520 |
--- a/NEWS Wed Mar 27 21:25:33 2013 +0100 +++ b/NEWS Wed Mar 27 22:36:03 2013 +0100 @@ -31,6 +31,8 @@ *** Pure *** +* Improved locales diagnostic command 'print_dependencies'. + * Discontinued obsolete 'axioms' command, which has been marked as legacy since Isabelle2009-2. INCOMPATIBILITY, use 'axiomatization' instead, while observing its uniform scope for polymorphism.