| 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 |
| Wed, 17 May 2017 14:58:48 +0200 | wenzelm | include full ML statistics: max heap size; | changeset | files |
| 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 |