9 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

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

9 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

9 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

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

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

9 months ago haftmann [Sat, 08 Sep 2018 08:09:07 +0000] rev 68940
more appropriate conversion of HOL character literals to character codes: symbolic newline is interpreted as 0x10
src/HOL/Tools/literal.ML

9 months ago haftmann [Sat, 08 Sep 2018 08:09:07 +0000] rev 68939
more explicit notion of ord value for HOL characters
src/HOL/Tools/string_syntax.ML

9 months ago haftmann [Sat, 08 Sep 2018 08:08:28 +0000] rev 68938
left-over rename from 3f9bb52082c4
NEWS src/HOL/Library/Multiset.thy

9 months ago wenzelm [Fri, 07 Sep 2018 23:48:19 +0200] rev 68937
merged