Summary
- tuned;
- discontinued somewhat pointless cronjob.options -- compile-time constants are sufficient;
The file was modified | src/Pure/Admin/isabelle_cronjob.scala (diff) |
The file was modified | src/Pure/Admin/isabelle_cronjob.scala (diff) |
The file was removed | Admin/cronjob/cronjob.options |