src/Pure/Tools/print_operation.ML
2016-12-28 wenzelm 2016-12-28 more uniform treatment of "bad" like other messages (with serial number);
2015-09-21 wenzelm 2015-09-21 clarified markup; tuned signature;
2015-09-21 wenzelm 2015-09-21 obsolete, superseded by State panel;
2015-06-29 wenzelm 2015-06-29 improved scheduling for urgent tasks, using farm of replacement threads (may lead to factor 2 overloading, but CPUs are usually hyperthreaded);
2014-07-22 wenzelm 2014-07-22 tuned messages;
2014-07-22 wenzelm 2014-07-22 support multiple selected print operations instead of slightly odd "menu";
2014-06-27 wenzelm 2014-06-27 command 'print_term_bindings' supersedes 'print_binds';
2014-05-07 wenzelm 2014-05-07 tuned;
2014-05-06 wenzelm 2014-05-06 clarified print_state, which goes back to TTY loop before Proof General, and before separate print_context;
2014-05-05 wenzelm 2014-05-05 clarified print operations for "terms" and "theorems";
2014-05-05 wenzelm 2014-05-05 more print operations; preserve declaration order;
2014-05-05 wenzelm 2014-05-05 support print operations as asynchronous query;