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

Reply via email to