Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more robust ISABELLE_COMPONENT_REPOSITORY: use current value of managing process to avoid its fluctuation in ancient history;
  2. clarified signature;
Changeset 73240:3e963d68d394 by wenzelm:
more robust ISABELLE_COMPONENT_REPOSITORY: use current value of managing process to avoid its fluctuation in ancient history;
The file was modified src/Pure/Admin/build_history.scala (diff)
The file was modified src/Pure/Admin/components.scala (diff)
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
The file was modified src/Pure/Admin/other_isabelle.scala (diff)
Changeset 73239:27dc8f899147 by wenzelm:
clarified signature;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)