src/Pure/Tools/ci_profile.scala
2016-10-07 wenzelm 2016-10-07 tuned;
2016-10-05 wenzelm 2016-10-05 proper imports;
2016-09-16 Lars Hupel 2016-09-16 benchmark doesn't need to build documents
2016-08-13 wenzelm 2016-08-13 more uniform output;
2016-07-13 Lars Hupel 2016-07-13 tuned
2016-07-10 Lars Hupel 2016-07-10 tuned
2016-07-06 Lars Hupel 2016-07-06 simplify build scripts
2016-07-05 Lars Hupel 2016-07-05 more accurate total timing
2016-07-04 Lars Hupel 2016-07-04 tuned
2016-06-22 Lars Hupel 2016-06-22 print statistics; tuned
2016-06-21 Lars Hupel 2016-06-21 read Java system properties from ISABELLE_CI_PROPERTIES
2016-06-13 Lars Hupel 2016-06-13 tuned
2016-06-11 Lars Hupel 2016-06-11 start moving actual Jenkins build scripts into the repository