src/Pure/Tools/print_operation.ML
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;