Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more robust: resolve historic components via current tool to access current server;
  2. tuned signature;
Changeset 73243:7f55a3e28c88 by wenzelm:
more robust: resolve historic components via current tool to access current server;
The file was modified src/Pure/Admin/other_isabelle.scala (diff)
Changeset 73242:9fd449357079 by wenzelm:
tuned signature;
The file was modified src/Pure/Admin/build_history.scala (diff)