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;

updated to polyml-5.7 for testing (not yet ready for production use);

tuned;

notes on gnuplot;

tuned;

made SMT reconstruction more complete (bug report by Lukas Bulwahn)

tuning

stretch image according to history length;

actually plot extended profile history;

tuned output;

more output;

clarified;

tuned output;

more robust update of generated directory; tuned;

more output;

tuned;

obsolete;

enter deeper into history;

more Jenkins test results;

clarified order of output;

tuned;

tuned signature;

tuned message;

pick isabelle_version based on build_log database;

simplified default;

tuned (again);

allow column with defining expression;

tuned -- inlined single use;

tuned signature;

tuned signature;

tuned signature;

tuned signature;

clarified signature;

clarified image size;

proper type for iterated application;

make index formally within Isabelle/Scala;

clarified modules;

plot heap size;

more precise profiles;

suppress "Pure" with its special threads=1 (Jenkins log does not provide threads in ISABELLE_BUILD_OPTIONS);

more specific workaround (see also ed7b5cd3a7f2);

cpu time is somewhat redundant for threads=1; tuned output;

clarified description vs. file name;

tuned output;

clarified types;

more operations;

more uniform charts; tuned headings;

always show ml_timing -- in another chart;

removed threshold: redundant due to sorting;

tuned output;

parallel gnuplot invocation;

more HTML output;

clarified explicit Build_Status.Data operations; more HTML output;

more operations; tuned;

more uniform threads value, notably for Pure session;

tuned;

added option verbose for SQL source;

merged

tuned signature;

tuned signature;

present build status; tuned;

tuned;

obsolete;

clarified name;

tuned messages;

tuned;

clarified signature;

unused;

tuned;

tuned messages;

performance statistics from build log database;

tuned;

legacy version for Jenkins website;

tuned;

detect database entries;

tuned;

clarified signature;

tuned signature;

NEWS: totient 1 = 1 now

Merged

More material on totient function

merged

clarified universal view: include pull_date;

clarified signature: PostgreSQL manages high-volume data, SQLite only sees small snapshots;