20 months ago wenzelm [Mon, 16 Oct 2017 14:32:09 +0200] rev 66873
provide theory timing information, similar to command timing but always considered relevant;
src/Pure/Admin/build_log.scala src/Pure/PIDE/markup.ML src/Pure/PIDE/markup.scala src/Pure/PIDE/protocol.scala src/Pure/PIDE/session.scala src/Pure/Thy/sessions.scala src/Pure/Thy/thy_info.ML src/Pure/Tools/build.ML src/Pure/Tools/build.scala

20 months ago wenzelm [Mon, 16 Oct 2017 14:21:14 +0200] rev 66872
tuned;
src/Pure/PIDE/markup.scala

20 months ago wenzelm [Mon, 16 Oct 2017 11:37:14 +0200] rev 66871
init user settings on fresh test machine;
src/Pure/Admin/build_history.scala

20 months ago nipkow [Mon, 16 Oct 2017 08:00:28 +0200] rev 66870
added [simp]
src/HOL/List.thy

20 months ago wenzelm [Sun, 15 Oct 2017 21:30:21 +0200] rev 66869
proper value;
src/Pure/Admin/isabelle_cronjob.scala

20 months ago wenzelm [Sun, 15 Oct 2017 20:34:24 +0200] rev 66868
more AFP tests;
src/Pure/Admin/isabelle_cronjob.scala

20 months ago wenzelm [Sun, 15 Oct 2017 20:31:52 +0200] rev 66867
added ml_statistics_step to trim stored properties;
src/Pure/Admin/build_history.scala

20 months ago wenzelm [Sun, 15 Oct 2017 18:39:20 +0200] rev 66866
proper argument;
src/Pure/Admin/build_history.scala

20 months ago wenzelm [Sat, 14 Oct 2017 22:05:22 +0200] rev 66865
tuned (graph.all_succs already contains origin);
src/Pure/Admin/isabelle_cronjob.scala

20 months ago wenzelm [Sat, 14 Oct 2017 21:50:12 +0200] rev 66864
support for AFP versions;
added AFP tests: non-slow, two partitions;
src/Pure/Admin/isabelle_cronjob.scala