[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?
This archive was generated by a fusion of
Pipermail (Mailman edition) and