clarified use of XML.Cache;

proper ml_statistics;

store processed content instead of somewhat bulky properties;

include full ML statistics: max heap size;

tuned;

eliminated unused operations;

tuned signature;

clarified universal table: include ml_statistics;

proper order for entry list cons;

proper check (amending ad35427dbe88);

less restrictive filter: omit empty charts, but show latest timing;

prefer explicit output file: potentially more robust than stdout;

proper init_settings, before inspecting ML_HOME etc;

support for explicit output file: potentially more robust than stdout;

proper init_settings for init_component (before generated ML_OPTIONS etc.); fresh start for "Poly/ML 5.7 Linux", suppressing old builds with ML_OPTIONS="-H 500";

more arg_min

NEWS;

history parameters like "Linux A", for more comparable results;

merged

tuned signature;

style for <dl> that is reminiscent of LaTeX;

more systematic HTML.init_dir with css;

prefer logical markup;

extra space only for some structual elements, but not <a>, <b>, <em> etc. (amending 8a0fe5469ba0);

tuned signature;

implicitly check for unknown files (not part of a Mercurial repository);

prefer explicit progress channel;

prefer explicit progress channel;

more explicit warning/error messages;

tuned signature;