Stream: Archive Mirror: Isabelle Users Mailing List

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

view this post on Zulip Email Gateway (Aug 19 2022 at 16:36):

From: Walther Neuper <wneuper@ist.tugraz.at>
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

Last updated: Apr 26 2024 at 12:28 UTC