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