Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. mini2 is not active due to upgrade;
  2. more PLATFORMS;
Changeset 78744:a11c461a1a3a by wenzelm:
mini2 is not active due to upgrade;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 78743:6fad611cb3c4 by wenzelm:
more PLATFORMS;
The file was modified Admin/components/PLATFORMS (diff)