more plots from ml_statistics;

simplified signature;

tuned signature;

more JFreeChart operations; tuned signature;

do not store bulky ml_statistics;

more output;

plot average heap size;

more systematic maximum and average; tuned;

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;

tuned;

clarified interface;

more robust command invocation, without defaults from hgrc;

clarified: repository files before commit;

eliminated suspicious Unicode;

clarified notion of known files (before actual commit);

explore older history;

explicit history_base;

explore repository structure, with minimal assumptions about "hg log" output;

avoid hardlinks, for more robustness on Windows file-systems;

added function arg_min

merged

added lemma

obsolete (see also bdd17b18e103, f533820e7248);

relaxed theory dependencies

explicit theory for factorials

more lemmas

explore older history;

more explicit flag for historic builds;

proper result for rev == "";

tuned -- more open to experimentation;

tuned -- more visible;