The Isabelle nightly repository snapshot is back on
https://isabelle.sketis.net/devel/release_snapshot (after quite some time of
outage).
I managed to reactivate it by providing a proper build_host_linux in
$HOME/.isabelle/cronjob/etc/preferences --- this is also for my own record,
since there is nothing in the formal history about it.
Further note that adhoc use of repository versions works conveniently via
Admin/init --- with more instructions
https://isabelle-dev.sketis.net/source/isabelle/browse/default/README_REPOSITORY
At a later stage, that might be replaced by some Isabelle download and
bootstrap tool as standalone Java-application. This is the deeper reason for
having
https://isabelle-dev.sketis.net/source/isabelle/browse/default/src/Tools/Setup
as pure Java module, without Scala (or other dependencies).
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
