7 months ago wenzelm [Sat, 08 Sep 2018 16:55:38 +0200] rev 68950
merged

7 months ago wenzelm [Sat, 08 Sep 2018 16:52:38 +0200] rev 68949
ensure foundational order of commits, taking Pure as implicit starting point;
src/Pure/Thy/thy_resources.scala

7 months ago wenzelm [Sat, 08 Sep 2018 14:30:31 +0200] rev 68948
more accurate output;
src/Pure/Tools/dump.scala

7 months ago wenzelm [Sat, 08 Sep 2018 13:36:40 +0200] rev 68947
clarified defaults;
more uniform treatment of "disabled" case;
src/Doc/System/Server.thy src/Pure/Thy/thy_resources.scala src/Pure/Tools/dump.scala src/Pure/Tools/server_commands.scala

7 months ago wenzelm [Sat, 08 Sep 2018 13:22:23 +0200] rev 68946
more accurate output;
src/Pure/General/value.scala src/Pure/Tools/dump.scala

7 months ago wenzelm [Sat, 08 Sep 2018 12:34:11 +0200] rev 68945
support for watchdog_timeout;
src/Pure/Tools/dump.scala

7 months ago wenzelm [Sat, 08 Sep 2018 12:18:15 +0200] rev 68944
tuned signature;
src/Pure/General/value.scala src/Pure/Tools/dump.scala

7 months ago wenzelm [Sat, 08 Sep 2018 12:01:37 +0200] rev 68943
tuned signature;
src/Pure/General/json.scala src/Pure/Thy/thy_resources.scala src/Pure/Tools/server_commands.scala

7 months ago wenzelm [Sat, 08 Sep 2018 12:01:22 +0200] rev 68942
removed junk;
src/Pure/Tools/dump.scala

7 months ago wenzelm [Sat, 08 Sep 2018 11:44:47 +0200] rev 68941
tuned output;
src/Pure/Tools/dump.scala