| Sun, 13 Oct 2019 17:17:40 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Sun, 10 Mar 2019 22:38:00 +0100 | wenzelm | proper data columns for plots; | file | diff | annotate |
| Sat, 23 Feb 2019 21:48:18 +0100 | wenzelm | tuned output; | file | diff | annotate |
| Sat, 23 Feb 2019 21:33:09 +0100 | wenzelm | more memory fields; | file | diff | annotate |
| Wed, 20 Feb 2019 12:10:40 +0100 | wenzelm | updated to polyml-5.8-20190220 (pre-release of Poly/ML 5.8); | file | diff | annotate |
| Fri, 25 Jan 2019 15:57:24 +0100 | wenzelm | proper operation in weakly-typed Scala (amending 06153e2e0cdb); | file | diff | annotate |
| Thu, 24 Jan 2019 13:53:33 +0100 | wenzelm | proper treatment of x86_64_32; | file | diff | annotate |
| Sat, 19 Jan 2019 20:18:26 +0100 | wenzelm | more official AFP.groups; | file | diff | annotate |
| Sat, 10 Nov 2018 14:08:02 +0100 | wenzelm | support for user-defined Isabelle/Scala command-line tools; | file | diff | annotate |
| Fri, 20 Apr 2018 22:17:42 +0200 | wenzelm | support for XZ.Cache; | file | diff | annotate |
| Sat, 03 Mar 2018 21:38:27 +0100 | wenzelm | more compact ML_Statistics, to make build_status work with less than 2GB heap; | file | diff | annotate |
| Sat, 03 Mar 2018 17:37:33 +0100 | wenzelm | retain latest ml_stats (amending e76c6cb0d461); | file | diff | annotate |
| Fri, 02 Mar 2018 20:46:25 +0100 | wenzelm | proper order; | file | diff | annotate |
| Thu, 01 Mar 2018 20:44:38 +0100 | wenzelm | clarified date for presentation vs. formal pull_date; | file | diff | annotate |
| Thu, 01 Mar 2018 20:18:24 +0100 | wenzelm | reveal raw data in CSV format; | file | diff | annotate |
| Sat, 04 Nov 2017 15:24:40 +0100 | wenzelm | more robust sorted_entries; | file | diff | annotate |
| Sat, 04 Nov 2017 14:41:26 +0100 | wenzelm | more convenient build_log_history; | file | diff | annotate |
| Wed, 01 Nov 2017 18:24:39 +0100 | wenzelm | proper order for entries from multiple profiles, notably "AFP"; | file | diff | annotate |
| Wed, 01 Nov 2017 17:29:14 +0100 | wenzelm | tuned output; | file | diff | annotate |
| Wed, 18 Oct 2017 20:26:32 +0200 | wenzelm | clarified output; | file | diff | annotate |
| Wed, 18 Oct 2017 20:14:57 +0200 | wenzelm | tuned output; | file | diff | annotate |
| Wed, 18 Oct 2017 19:53:19 +0200 | wenzelm | more thorough treatment of afp_version and afp_pull_date; | file | diff | annotate |
| Fri, 07 Jul 2017 16:57:50 +0200 | wenzelm | proper check wrt. distinct entry dates; | file | diff | annotate |
| Thu, 01 Jun 2017 15:19:50 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Sat, 27 May 2017 13:01:25 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Sat, 27 May 2017 12:57:57 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Sat, 27 May 2017 12:52:36 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Sat, 27 May 2017 12:36:27 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Sat, 27 May 2017 12:33:14 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Sat, 27 May 2017 00:30:48 +0200 | wenzelm | tuned layout; | file | diff | annotate |