Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. removed obsolete test -- coincides with mainline version;
  2. updated to polyml-5.7 pre-release from repository;
Changeset 65033:6be69d6881cd by wenzelm:
removed obsolete test -- coincides with mainline version;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 65032:42b92fa72a51 by wenzelm:
updated to polyml-5.7 pre-release from repository;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified Admin/polyml/CHECKLIST (diff)
The file was modified Admin/polyml/README (diff)
The file was modified src/Pure/Tools/bibtex.ML (diff)