Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. updated test version;
  2. more recent polyml-test version;
Changeset 66762:9bef97f78b60 by wenzelm:
updated test version;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 66761:808e6ddb5a50 by wenzelm:
more recent polyml-test version;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/polyml/CHECKLIST (diff)
The file was modified Admin/polyml/settings (diff)