src/Pure/Tools/print_operation.scala
2014-05-05 wenzelm 2014-05-05 support print operations as asynchronous query;