[isabelle] closing heap images?



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





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.