11 months ago wenzelm [Tue, 09 May 2017 13:42:48 +0200] rev 65787
clarified order of output;
src/Pure/Admin/jenkins.scala

11 months ago wenzelm [Tue, 09 May 2017 11:29:18 +0200] rev 65786
tuned;
src/Pure/Admin/build_status.scala

11 months ago wenzelm [Tue, 09 May 2017 11:21:42 +0200] rev 65785
tuned signature;
src/Pure/Admin/build_status.scala src/Pure/Admin/isabelle_cronjob.scala src/Pure/Admin/isabelle_devel.scala

11 months ago wenzelm [Mon, 08 May 2017 22:31:54 +0200] rev 65784
tuned message;
src/Pure/Admin/build_status.scala

11 months ago wenzelm [Mon, 08 May 2017 22:21:36 +0200] rev 65783
pick isabelle_version based on build_log database;
src/Pure/Admin/build_log.scala src/Pure/Admin/isabelle_cronjob.scala

11 months ago wenzelm [Mon, 08 May 2017 21:58:15 +0200] rev 65782
simplified default;
etc/options src/Pure/Admin/build_status.scala

11 months ago wenzelm [Mon, 08 May 2017 21:51:26 +0200] rev 65781
tuned (again);
src/Pure/Admin/build_log.scala

11 months ago wenzelm [Mon, 08 May 2017 20:26:59 +0200] rev 65780
allow column with defining expression;
src/Pure/General/sql.scala

11 months ago wenzelm [Mon, 08 May 2017 17:33:46 +0200] rev 65779
tuned -- inlined single use;
src/Pure/Admin/build_log.scala

11 months ago wenzelm [Mon, 08 May 2017 17:16:40 +0200] rev 65778
tuned signature;
src/Pure/Admin/build_log.scala src/Pure/General/sql.scala