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.

isabelle-dev mailing list

Reply via email to