--- a/NEWS Wed Sep 03 17:47:37 2008 +0200
+++ b/NEWS Wed Sep 03 17:47:38 2008 +0200
@@ -36,6 +36,9 @@
* Keyword 'code_exception' now named 'code_abort'. INCOMPATIBILITY.
+* The 'axiomatization' command now only works within a global theory
+context. INCOMPATIBILITY.
+
*** Document preparation ***