Wed, 17 May 2017 13:52:46 +0200 | wenzelm | tuned; | changeset | files |
Wed, 17 May 2017 13:50:30 +0200 | wenzelm | eliminated unused operations; | changeset | files |
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 |