src/Pure/Tools/print_operation.scala
2017-04-01 wenzelm 2017-04-01 clarified YXML vs. symbol encoding: operate on whole message;
2017-03-14 wenzelm 2017-03-14 tuned;
2017-03-14 wenzelm 2017-03-14 misc tuning and simplification;
2017-03-13 wenzelm 2017-03-13 proper local debugger state, depending on session; tuned signature;
2015-11-06 wenzelm 2015-11-06 tuned;
2015-03-16 wenzelm 2015-03-16 proper headers;
2015-01-14 wenzelm 2015-01-14 clarified build_theories: proper protocol handler;
2014-05-05 wenzelm 2014-05-05 support print operations as asynchronous query;