[isabelle-dev] Nightly Isabelle application bundles

[Makarius]

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