| Wed, 17 May 2017 23:05:30 +0200 | wenzelm | more output; | changeset | files |
| Wed, 17 May 2017 22:32:48 +0200 | wenzelm | plot average heap size; | changeset | files |
| Wed, 17 May 2017 22:27:33 +0200 | wenzelm | more systematic maximum and average; | changeset | files |
| Wed, 17 May 2017 21:24:16 +0200 | wenzelm | clarified use of XML.Cache; | changeset | files |
| Wed, 17 May 2017 21:08:11 +0200 | wenzelm | proper ml_statistics; | changeset | files |
| Wed, 17 May 2017 20:52:24 +0200 | wenzelm | store processed content instead of somewhat bulky properties; | changeset | files |