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;