Email Gateway (Aug 18 2022 at 14:24): Email Gateway (Aug 18 2022 at 14:24):From: Alexander Krauss <krauss@in.tum.de>
Dear all,
A little question on writable heaps:
I have an image A, which has an unfinished session. When trying the
usual setup to have a session on top of A (for document generation), I
get the complaint
val commit = fn : unit -> bool
*** Unfinished parent session "A" for "Thys"
Is there a way of "closing" session A to some image B, so that I can
build a new session on top of it?
I already tried "isabelle-process -f A B" but apparently with no success...
Thanks,
Alex
Last updated: May 06 2024 at 20:16 UTC