23 months ago wenzelm 2017-05-09 tuned;
23 months ago wenzelm 2017-05-09 tuned signature;
23 months ago wenzelm 2017-05-08 tuned message;
23 months ago wenzelm 2017-05-08 pick isabelle_version based on build_log database;
23 months ago wenzelm 2017-05-08 simplified default;
23 months ago wenzelm 2017-05-08 tuned (again);
23 months ago wenzelm 2017-05-08 allow column with defining expression;
23 months ago wenzelm 2017-05-08 tuned -- inlined single use;
23 months ago wenzelm 2017-05-08 tuned signature;
23 months ago wenzelm 2017-05-08 tuned signature;
23 months ago wenzelm 2017-05-08 tuned signature;
23 months ago wenzelm 2017-05-08 tuned signature;
23 months ago wenzelm 2017-05-08 clarified signature;
23 months ago wenzelm 2017-05-08 clarified image size;
23 months ago wenzelm 2017-05-08 proper type for iterated application;
23 months ago wenzelm 2017-05-08 make index formally within Isabelle/Scala;
23 months ago wenzelm 2017-05-08 clarified modules;
23 months ago wenzelm 2017-05-08 plot heap size;
23 months ago wenzelm 2017-05-08 more precise profiles;
23 months ago wenzelm 2017-05-08 suppress "Pure" with its special threads=1 (Jenkins log does not provide threads in ISABELLE_BUILD_OPTIONS);
23 months ago wenzelm 2017-05-08 more specific workaround (see also ed7b5cd3a7f2);
23 months ago wenzelm 2017-05-07 cpu time is somewhat redundant for threads=1; tuned output;
23 months ago wenzelm 2017-05-07 clarified description vs. file name;
23 months ago wenzelm 2017-05-07 tuned output;
23 months ago wenzelm 2017-05-07 clarified types;
23 months ago wenzelm 2017-05-07 more operations;
23 months ago wenzelm 2017-05-07 more uniform charts; tuned headings;
23 months ago wenzelm 2017-05-07 always show ml_timing -- in another chart;
23 months ago wenzelm 2017-05-07 removed threshold: redundant due to sorting;
23 months ago wenzelm 2017-05-07 tuned output;
23 months ago wenzelm 2017-05-07 parallel gnuplot invocation;
23 months ago wenzelm 2017-05-07 more HTML output;
23 months ago wenzelm 2017-05-07 clarified explicit Build_Status.Data operations; more HTML output;
23 months ago wenzelm 2017-05-07 more operations; tuned;
23 months ago wenzelm 2017-05-07 more uniform threads value, notably for Pure session;
23 months ago wenzelm 2017-05-07 tuned;
23 months ago wenzelm 2017-05-06 added option verbose for SQL source;
23 months ago wenzelm 2017-05-06 merged
23 months ago wenzelm 2017-05-06 tuned signature;
23 months ago wenzelm 2017-05-06 tuned signature;
23 months ago wenzelm 2017-05-06 present build status; tuned;
23 months ago wenzelm 2017-05-06 tuned;
23 months ago wenzelm 2017-05-06 obsolete;
23 months ago wenzelm 2017-05-06 clarified name;
23 months ago wenzelm 2017-05-06 tuned messages;
23 months ago wenzelm 2017-05-06 tuned;
23 months ago wenzelm 2017-05-06 clarified signature;
23 months ago wenzelm 2017-05-06 unused;
23 months ago wenzelm 2017-05-06 tuned;
23 months ago wenzelm 2017-05-06 tuned messages;
23 months ago wenzelm 2017-05-06 performance statistics from build log database;
23 months ago wenzelm 2017-05-05 tuned;
23 months ago wenzelm 2017-05-05 legacy version for Jenkins website;
23 months ago wenzelm 2017-05-05 tuned;
23 months ago wenzelm 2017-05-05 detect database entries;
23 months ago wenzelm 2017-05-05 tuned;
23 months ago wenzelm 2017-05-05 clarified signature;
23 months ago wenzelm 2017-05-05 tuned signature;
23 months ago Manuel Eberl 2017-05-05 NEWS: totient 1 = 1 now
23 months ago eberlm 2017-05-04 Merged