src/Pure/Admin/build_status.scala
Fri, 02 Mar 2018 20:46:25 +0100 wenzelm proper order;
Thu, 01 Mar 2018 20:44:38 +0100 wenzelm clarified date for presentation vs. formal pull_date;
Thu, 01 Mar 2018 20:18:24 +0100 wenzelm reveal raw data in CSV format;
Sat, 04 Nov 2017 15:24:40 +0100 wenzelm more robust sorted_entries;
Sat, 04 Nov 2017 14:41:26 +0100 wenzelm more convenient build_log_history;
Wed, 01 Nov 2017 18:24:39 +0100 wenzelm proper order for entries from multiple profiles, notably "AFP";
Wed, 01 Nov 2017 17:29:14 +0100 wenzelm tuned output;
Wed, 18 Oct 2017 20:26:32 +0200 wenzelm clarified output;
Wed, 18 Oct 2017 20:14:57 +0200 wenzelm tuned output;
Wed, 18 Oct 2017 19:53:19 +0200 wenzelm more thorough treatment of afp_version and afp_pull_date;
Fri, 07 Jul 2017 16:57:50 +0200 wenzelm proper check wrt. distinct entry dates;
Thu, 01 Jun 2017 15:19:50 +0200 wenzelm tuned signature;
Sat, 27 May 2017 13:01:25 +0200 wenzelm tuned signature;
Sat, 27 May 2017 12:57:57 +0200 wenzelm tuned signature;
Sat, 27 May 2017 12:52:36 +0200 wenzelm tuned signature;
Sat, 27 May 2017 12:36:27 +0200 wenzelm tuned signature;
Sat, 27 May 2017 12:33:14 +0200 wenzelm clarified signature;
Sat, 27 May 2017 00:30:48 +0200 wenzelm tuned layout;
Fri, 26 May 2017 23:33:42 +0200 wenzelm show errors from build_log database;
Fri, 26 May 2017 23:21:50 +0200 wenzelm support for message underline and tooltips;
Sun, 21 May 2017 23:41:46 +0200 wenzelm more general workaround for failed sessions (again, see also 2edb89630a80, ed7b5cd3a7f2);
Sun, 21 May 2017 23:07:20 +0200 wenzelm show failed sessions on main page;
Thu, 18 May 2017 14:41:40 +0200 wenzelm tuned;
Thu, 18 May 2017 14:41:20 +0200 wenzelm more charts;
Thu, 18 May 2017 14:38:09 +0200 wenzelm uniform heap_scale;
Thu, 18 May 2017 14:14:20 +0200 wenzelm more plots from ml_statistics;
Thu, 18 May 2017 11:42:16 +0200 wenzelm tuned signature;
Wed, 17 May 2017 23:13:56 +0200 wenzelm do not store bulky ml_statistics;
Wed, 17 May 2017 23:05:30 +0200 wenzelm more output;
Wed, 17 May 2017 22:32:48 +0200 wenzelm plot average heap size;
less more (0) -50 -30 tip