| Tue, 16 Aug 2016 20:54:37 +0200 | wenzelm | more robust; | changeset | files |
| Tue, 16 Aug 2016 15:55:11 +0200 | wenzelm | clarified presentation order, according to typical amounts; | changeset | files |
| Tue, 16 Aug 2016 15:51:44 +0200 | wenzelm | present ML timing as well; | changeset | files |