On Sun, 29 Jul 2012, Makarius wrote:
Of course, if we can make it easy enough to build custom images, then
there is no practical reason to have HOL-Plain or HOL-Main set up by
default in the distribution.
I did not think of this option yet. It might be actually simple to set
that up locally.
Here is a one-liner for private use in $ISABELLE_HOME_USER/ROOT:
session HOL-Test! in "~~/src/HOL" = Pure + theories Nat
This works because $ISABELLE_HOME_USER is also a component.
The session layout of the main Isabelle distribution can be reconsidered
later, when we have the transition completed. We still have IsaMakefiles
to be maintained in parallel to the new scheme.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
