[isabelle] run heap with minimal effort in Isabelle2013-2



The theories and ML-files of our project are managed in a session Isac, which creates a heap with the same name.

Now we try to make installation easy for users such that they
# create an Isabelle standard installation
# copy the Isac binary to the place where the Pure- and HOL-binaries reside.

Can this be done in Isabelle2013-2? If yes, how?

Walther




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.