Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned message;
  2. pick isabelle_version based on build_log database;
  3. simplified default;
  4. tuned (again);
  5. allow column with defining expression;
  6. tuned -- inlined single use;
  7. tuned signature;
  8. tuned signature;
  9. tuned signature;
  10. tuned signature;
  11. clarified signature;
  12. clarified image size;
  13. proper type for iterated application;
  14. make index formally within Isabelle/Scala;
  15. clarified modules;
  16. plot heap size;
  17. more precise profiles;
  18. suppress "Pure" with its special threads=1 (Jenkins log does not provide threads in ISABELLE_BUILD_OPTIONS);
  19. more specific workaround (see also ed7b5cd3a7f2);
Changeset 65784:4763e51ceb78 by wenzelm:
tuned message;
The file was modified src/Pure/Admin/build_status.scala (diff)
Changeset 65783:d3d5cb2d6866 by wenzelm:
pick isabelle_version based on build_log database;
The file was modified src/Pure/Admin/build_log.scala (diff)
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 65782:4935bac8a850 by wenzelm:
simplified default;
The file was modified etc/options (diff)
The file was modified src/Pure/Admin/build_status.scala (diff)
Changeset 65781:6cd11999f3a3 by wenzelm:
tuned (again);
The file was modified src/Pure/Admin/build_log.scala (diff)
Changeset 65780:8baf789b1537 by wenzelm:
allow column with defining expression;
The file was modified src/Pure/General/sql.scala (diff)
Changeset 65779:a42c9e375405 by wenzelm:
tuned -- inlined single use;
The file was modified src/Pure/Admin/build_log.scala (diff)
Changeset 65778:666a1bac126b by wenzelm:
tuned signature;
The file was modified src/Pure/Admin/build_log.scala (diff)
The file was modified src/Pure/General/sql.scala (diff)
Changeset 65777:821e77ce41be by wenzelm:
tuned signature;
The file was modified src/Pure/Admin/build_log.scala (diff)
Changeset 65776:373d708898d4 by wenzelm:
tuned signature;
The file was modified src/Pure/General/sql.scala (diff)
Changeset 65775:123f2c0995b8 by wenzelm:
tuned signature;
The file was modified src/Pure/Admin/build_log.scala (diff)
The file was modified src/Pure/General/sql.scala (diff)
Changeset 65774:1001fb86d7f7 by wenzelm:
clarified signature;
The file was modified src/Pure/General/sql.scala (diff)
Changeset 65773:120ef768c84c by wenzelm:
clarified image size;
The file was modified src/Pure/Admin/build_status.scala (diff)
The file was modified src/Pure/Thy/html.scala (diff)
Changeset 65772:368399c5d87f by wenzelm:
proper type for iterated application;
The file was modified src/Pure/PIDE/xml.scala (diff)
Changeset 65771:688a7dd22cbb by wenzelm:
make index formally within Isabelle/Scala;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
The file was modified src/Pure/Admin/isabelle_devel.scala (diff)
The file was modified src/Pure/Thy/html.scala (diff)
Changeset 65770:fb8a7962f2ae by wenzelm:
clarified modules;
The file was addedsrc/Pure/Admin/isabelle_devel.scala
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
The file was modified src/Pure/build-jars (diff)
Changeset 65769:490b7c517000 by wenzelm:
plot heap size;
The file was modified src/Pure/Admin/build_status.scala (diff)
Changeset 65768:b8da621a3297 by wenzelm:
more precise profiles;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 65767:222ed8901008 by wenzelm:
suppress "Pure" with its special threads=1 (Jenkins log does not provide threads in ISABELLE_BUILD_OPTIONS);
The file was modified src/Pure/Admin/jenkins.scala (diff)
Changeset 65766:2edb89630a80 by wenzelm:
more specific workaround (see also ed7b5cd3a7f2);
The file was modified src/Pure/Admin/build_status.scala (diff)