Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. prefer Cygwin64, although some components still require update;
  2. updated test version;
  3. more recent polyml-test version;
Changeset 66763:0b3fa8e22f22 by wenzelm:
prefer Cygwin64, although some components still require update;
The file was modified README_REPOSITORY (diff)
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)