Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned OS names;
  2. standard tests for macOS 10.15 Catalina;
  3. updated NEWS w.r.t. e0237f2eb49d
Changeset 71538:138e8226961e by wenzelm:
tuned OS names;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 71537:93bdbac68d8d by wenzelm:
standard tests for macOS 10.15 Catalina;
The file was modified Admin/PLATFORMS (diff)
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 71536:2aa38099aa8c by manuel eberl _eberlm@in.tum.de_:
updated NEWS w.r.t. e0237f2eb49d
The file was modified NEWS (diff)