# HG changeset patch
# User wenzelm
# Date 1198181668 -3600
# Node ID 84c92fc48e363ed0c947ebbe961634d1c13ff4a4
# Parent  68834086f910c63bce47b0d3732fec27606a82b0
``print mode'' is now a thread-local value derived from a global template;

diff -r 68834086f910 -r 84c92fc48e36 NEWS
--- a/NEWS	Thu Dec 20 21:12:03 2007 +0100
+++ b/NEWS	Thu Dec 20 21:14:28 2007 +0100
@@ -58,6 +58,15 @@
 with multithreading.
 
 
+*** ML ***
+
+* The ``print mode'' is now a thread-local value derived from a global
+template (the former print_mode reference), thus access becomes
+non-critical.  The global print_mode reference is for session
+management only; user-code should use print_mode_value,
+print_mode_active, PrintMode.setmp etc.  INCOMPATIBILITY.
+
+
 *** System ***
 
 * isatool tty runs Isabelle process with plain tty interaction;