[isabelle-dev] NEWS

Makarius makarius at sketis.net
Thu Dec 20 21:24:06 CET 2007


* ML: ``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.



More information about the isabelle-dev mailing list