[isabelle-dev] Nightly Isabelle application bundles

Makarius makarius at sketis.net
Fri Oct 21 17:49:24 CEST 2016

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:

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.


More information about the isabelle-dev mailing list