Summary
- plain identify job for Isabelle + AFP, independent of any Isabelle technology;
The file was added | Admin/cronjob/crontab.lxbroy5 |
The file was added | Admin/cronjob/plain_identify |
The file was modified | Admin/cronjob/README (diff) |
The file was modified | src/Pure/Admin/build_log.scala (diff) |