15 months ago wenzelm [Fri, 23 Mar 2018 22:53:32 +0100] rev 67940
clarified signature -- eliminated somewhat pointless positions;
src/Doc/System/Server.thy src/Pure/Thy/thy_resources.scala src/Pure/Tools/server_commands.scala

15 months ago wenzelm [Fri, 23 Mar 2018 22:44:43 +0100] rev 67939
clarified signature -- more like use_theories;
src/Pure/Thy/thy_resources.scala

15 months ago wenzelm [Fri, 23 Mar 2018 22:38:38 +0100] rev 67938
clarified;
src/Doc/System/Server.thy

15 months ago wenzelm [Fri, 23 Mar 2018 22:31:50 +0100] rev 67937
removed somewhat pointless argument;
src/Doc/System/Server.thy src/Pure/Tools/server_commands.scala

15 months ago wenzelm [Fri, 23 Mar 2018 22:26:50 +0100] rev 67936
support for purge_theories;
src/Pure/Thy/thy_resources.scala

15 months ago wenzelm [Fri, 23 Mar 2018 21:56:22 +0100] rev 67935
clarified signature;
src/Pure/General/graph.scala

15 months ago wenzelm [Fri, 23 Mar 2018 20:45:46 +0100] rev 67934
tuned;
src/Tools/jEdit/src/document_model.scala

15 months ago wenzelm [Fri, 23 Mar 2018 17:09:36 +0100] rev 67933
more robust timing info: do not rely on order of markup;
src/Pure/PIDE/rendering.scala

15 months ago wenzelm [Fri, 23 Mar 2018 16:07:20 +0100] rev 67932
clarified signature;
src/Pure/General/timing.ML src/Pure/Isar/proof.ML src/Pure/Isar/toplevel.ML

15 months ago wenzelm [Fri, 23 Mar 2018 14:04:50 +0100] rev 67931
field "kind" is always present, with default "writeln";
src/Doc/System/Server.thy src/Pure/Tools/server.scala src/Pure/Tools/server_commands.scala