src/Pure/General/output.ML
2009-09-29 wenzelm 2009-09-29 explicit indication of Unsynchronized.ref;
2009-06-17 wenzelm 2009-06-17 removed obsolete time accumulator (better use Toplevel.profiling);
2009-03-23 wenzelm 2009-03-23 removed obsolete ml_output;
2009-03-23 wenzelm 2009-03-23 suppress status output for traditional tty modes (including Proof General); keyword report: explicitly issue message on writeln channel as well;
2009-03-06 wenzelm 2009-03-06 eliminated Output.immediate_output -- violates the official message channel protocol;
2009-03-01 wenzelm 2009-03-01 end_timing: generalized result -- message plus with explicit time values;
2009-01-21 wenzelm 2009-01-21 removed Ids;
2008-07-15 wenzelm 2008-07-15 added status channel; writeln_default: suppress empty messages;
2008-03-15 wenzelm 2008-03-15 tuned messages;
2008-01-06 wenzelm 2008-01-06 added explicit prompt channel (prompt_fn/prompt); tuned;
2007-12-17 wenzelm 2007-12-17 cond_timeit: added message argument, use Exn.capture/release; tuned;
2007-12-17 haftmann 2007-12-17 tuned
2007-12-17 haftmann 2007-12-17 improved semantics of timeapp_msg
2007-12-15 wenzelm 2007-12-15 removed unused escape_malformed;
2007-09-19 wenzelm 2007-09-19 ml_output: proper error instead of error_msg;
2007-09-17 wenzelm 2007-09-17 avoid direct access to print_mode;
2007-07-29 wenzelm 2007-07-29 NAMED_CRITICAL;
2007-07-29 wenzelm 2007-07-29 removed obsolete TOPLEVEL_ERROR etc. (cf. toplevel.ML);
2007-07-24 wenzelm 2007-07-24 moved exception capture/release to structure Exn;
2007-07-23 wenzelm 2007-07-23 marked some CRITICAL sections;
2007-07-23 wenzelm 2007-07-23 marked some CRITICAL sections (for multithreading);
2007-07-19 wenzelm 2007-07-19 tuned;
2007-07-11 wenzelm 2007-07-11 added escape_malformed (failsafe);
2007-07-09 wenzelm 2007-07-09 type output = string indicates raw system output;
2007-07-07 wenzelm 2007-07-07 renamed raw to escape; simplified pretty token metric: type int; simplified print_mode setup: output_width and escape; moved pretty setup to pretty.ML;
2007-04-30 wenzelm 2007-04-30 explicit treatment of legacy_features;
2007-04-15 wenzelm 2007-04-15 removed unused Output.panic hook -- internal to PG wrapper;
2007-04-04 wenzelm 2007-04-04 cleaned-up Output functions; removed unused info channel; moved print_mode to ROOT.ML (generic non-sense);
2007-03-19 haftmann 2007-03-19 dropped overwrite_warn
2007-01-31 haftmann 2007-01-31 dropped Output.update_warn
2007-01-20 wenzelm 2007-01-20 Output.debug: non-strict; renamed Output.show_debug_msgs to Output.debugging (coincides with Toplevel.debug);
2006-11-13 haftmann 2006-11-13 combinator for overwriting changes with warning
2006-11-10 wenzelm 2006-11-10 tuned names of start_timing,/end_timing/check_timer;
2006-10-09 wenzelm 2006-10-09 moved Context.ml_output to Output.ml_output;
2006-09-21 wenzelm 2006-09-21 member (op =);
2006-03-14 wenzelm 2006-03-14 Output.add_mode: keyword component;
2006-01-19 wenzelm 2006-01-19 added ML_errors;
2006-01-14 wenzelm 2006-01-14 removed special ERROR handling stuff (transform_error etc.); moved plain ERROR/error to library.ML; added toplevel_errors, exception TOPLEVEL_ERROR; error_msg, panic, info, debug no longer pervasive;
2005-09-21 haftmann 2005-09-21 added update_warn
2005-09-20 haftmann 2005-09-20 introduced AList module in favor of assoc etc.
2005-09-15 wenzelm 2005-09-15 TableFun/Symtab: curried lookup and update;
2005-09-01 wenzelm 2005-09-01 curried_lookup/update;
2005-07-06 wenzelm 2005-07-06 added time_accumulator and accumulated_time supercede low-level time_info operations;
2005-07-04 wenzelm 2005-07-04 added transform_exceptions: bool ref;
2005-06-02 wenzelm 2005-06-02 added no_warnings; tuned;
2005-02-13 skalberg 2005-02-13 Deleted Library.option type.
2004-09-08 aspinall 2004-09-08 Add info and debug output channels.
2004-06-29 kleing 2004-06-29 license change to BSD
2004-06-21 wenzelm 2004-06-21 immediate_output;
2004-06-20 wenzelm 2004-06-20 added accumulated timing;
2004-06-16 wenzelm 2004-06-16 tuned;
2004-06-09 wenzelm 2004-06-09 tuned comment;
2004-06-06 wenzelm 2004-06-06 added has_mode; handle_error: output raw;
2004-06-05 wenzelm 2004-06-05 moved exception handling back to library.ML;
2004-06-01 aspinall 2004-06-01 Add panic function which exits Isabelle immediately.
2004-05-29 wenzelm 2004-05-29 output channels;