Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. plain identify job for Isabelle + AFP, independent of any Isabelle technology;
Changeset 66995:9cb263dbb2f7 by wenzelm:
plain identify job for Isabelle + AFP, independent of any Isabelle technology;
The file was addedAdmin/cronjob/crontab.lxbroy5
The file was addedAdmin/cronjob/plain_identify
The file was modified Admin/cronjob/README (diff)
The file was modified src/Pure/Admin/build_log.scala (diff)