[isabelle] HOL-Nominal to Isabelle2008
David Streader writes:
> I am just rebuilding Isabelle2009.
> Unpacking HOL-Nominal_x86-linux.tar.gz it built directory Isabelle2008
> and puts the heaps in there!
> Is is safe to move the heaps to Isabelle2009 or is this an old set of heaps?
I am a bit confused what you want to do, or where
the problem is. HOL-Nominal should be fully integrated
with Isabelle 2009 and should always be up-to-date
with every release since 2009. Indeed, the tar-file
puts its content to
Having downloaded the sources for Isabelle 2009, you
should also be able to rebuild the HOL-Nominal package
manually by typing
./build -m HOL-Nominal HOL
inside the directory where the Isabelle sources are
Moving heaps between Isabelle releases, I am sure is
asking for trouble.
Hope this helps,
This archive was generated by a fusion of
Pipermail (Mailman edition) and