src/Pure/General/print_mode.ML
2010-05-27 wenzelm 2010-05-27 renamed structure PrintMode to Print_Mode, keeping the old name as legacy alias for some time;
2009-10-27 wenzelm 2009-10-27 non-critical atomic accesses;
2009-09-29 wenzelm 2009-09-29 explicit indication of Unsynchronized.ref;
2009-01-21 wenzelm 2009-01-21 removed Ids;
2008-09-04 wenzelm 2008-09-04 Thread.getLocal/setLocal;
2008-01-03 wenzelm 2008-01-03 setmp_thread_data;
2007-12-20 wenzelm 2007-12-20 separated into global template vs. thread-local value; made setmp thread-local (non-critical); added closure;
2007-10-20 wenzelm 2007-10-20 added input/internal, which are never active in print_mode_value;
2007-09-18 wenzelm 2007-09-18 simplified PrintMode interfaces;
2007-09-17 wenzelm 2007-09-17 added print_mode_value (CRITICAL);
2007-09-16 wenzelm 2007-09-16 with_modes: always CRITICAL;
2007-08-20 wenzelm 2007-08-20 with_modes []: non-critical;
2007-07-29 wenzelm 2007-07-29 NAMED_CRITICAL;
2007-07-23 wenzelm 2007-07-23 added with_modes, with_default;
2007-07-17 wenzelm 2007-07-17 Generic print mode.