| Wed, 17 May 2017 13:47:19 +0200 | wenzelm | tuned signature; | changeset | files |
| Wed, 17 May 2017 11:53:16 +0200 | wenzelm | clarified universal table: include ml_statistics; | changeset | files |
| Wed, 17 May 2017 11:12:19 +0200 | wenzelm | proper order for entry list cons; | changeset | files |
| Wed, 17 May 2017 10:49:19 +0200 | wenzelm | proper check (amending ad35427dbe88); | changeset | files |
| Tue, 16 May 2017 22:57:12 +0200 | wenzelm | less restrictive filter: omit empty charts, but show latest timing; | changeset | files |
| Tue, 16 May 2017 16:28:13 +0200 | wenzelm | prefer explicit output file: potentially more robust than stdout; | changeset | files |