http://isabelle.in.tum.de/devel provides nightly snapshots from the Isabelle repository -- as fully-integrated application bundles for all platform families. (That website might evolve later, and the link move further inside.)
The implementation in Isabelle/Scala can be seen here: http://isabelle.in.tum.de/repos/isabelle/file/692a1b317316/src/Pure/Admin/isabelle_cronjob.scala#l73 That is trivial, depending on the induction hypotheses that the basic Admin tasks are already available in Isabelle/Scala. In the worst case this happens via invocations of Isabelle_System.bash().check on old shell scripts. Makarius _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev