--- a/NEWS Tue May 04 14:10:42 2010 +0200
+++ b/NEWS Tue May 04 14:44:30 2010 +0200
@@ -368,6 +368,12 @@
* Configuration options now admit dynamic default values, depending on
the context or even global references.
+* Most operations that refer to a global context are named
+accordingly, e.g. Simplifier.global_context or
+ProofContext.init_global. There are some situations where a global
+context actually works, but under normal circumstances one needs to
+pass the proper local context through the code!
+
*** System ***