19 months ago wenzelm [Sat, 28 Oct 2017 21:26:51 +0200] rev 66932
reduced heap hierarchy, for potentially improved performance;
src/HOL/ROOT

19 months ago wenzelm [Sat, 28 Oct 2017 16:43:26 +0200] rev 66931
deactivated old tests;
src/Pure/Admin/isabelle_cronjob.scala

19 months ago wenzelm [Sat, 28 Oct 2017 16:12:29 +0200] rev 66930
avoid slow proofs due to simp rules from 960509bfd47e;
src/HOL/SPARK/Examples/RIPEMD-160/Round.thy

20 months ago wenzelm [Fri, 27 Oct 2017 17:06:30 +0200] rev 66929
some concrete commands;
clarified messages;
src/Pure/Tools/server.scala

20 months ago wenzelm [Fri, 27 Oct 2017 17:04:41 +0200] rev 66928
tuned signature;
src/Pure/General/json.scala

20 months ago wenzelm [Fri, 27 Oct 2017 16:21:58 +0200] rev 66927
more formal messages;
src/Pure/Tools/server.scala

20 months ago wenzelm [Fri, 27 Oct 2017 16:21:29 +0200] rev 66926
tuned signature;
src/Pure/General/json.scala

20 months ago wenzelm [Fri, 27 Oct 2017 15:49:09 +0200] rev 66925
separate JSON parser, which is slightly more general than (deprecated) scala.util.parsing.json.JSON;
src/Pure/General/json.scala

20 months ago wenzelm [Fri, 27 Oct 2017 13:50:08 +0200] rev 66924
more permissive;
src/Pure/General/json.scala

20 months ago wenzelm [Fri, 27 Oct 2017 11:46:03 +0200] rev 66923
tuned;
src/Pure/Admin/build_release.scala src/Pure/Admin/isabelle_cronjob.scala src/Pure/General/http.scala src/Pure/General/long_name.scala src/Pure/General/ssh.scala src/Pure/PIDE/line.scala src/Pure/PIDE/rendering.scala src/Pure/System/numa.scala src/Tools/jEdit/src/keymap_merge.scala src/Tools/jEdit/src/scala_console.scala