src/Pure/Tools/print_operation.scala
Sat, 01 Apr 2017 19:17:15 +0200 wenzelm clarified YXML vs. symbol encoding: operate on whole message;
Tue, 14 Mar 2017 00:13:38 +0100 wenzelm tuned;
Tue, 14 Mar 2017 00:09:15 +0100 wenzelm misc tuning and simplification;
Mon, 13 Mar 2017 20:33:42 +0100 wenzelm proper local debugger state, depending on session;
Fri, 06 Nov 2015 18:15:35 +0100 wenzelm tuned;
Mon, 16 Mar 2015 16:59:59 +0100 wenzelm proper headers;
Wed, 14 Jan 2015 16:27:19 +0100 wenzelm clarified build_theories: proper protocol handler;
Mon, 05 May 2014 15:17:07 +0200 wenzelm support print operations as asynchronous query;
less more (0) tip