[isabelle] saving state
This is a request for suggestions. My translator is coming along
but maintains a rather extensive state (of name-mappings, etc.)
I'm trying to save the state so that you don't have to re-translate
when you start up the system. I don't know anything about heap saving
in sml. I'm only familiar with checkpointing in general, which
be the right approach here. I know Isabelle stores heap images, so I
if it would be possible to extend the heap image or something.
Alternatively, I could invent some kind of text format and read/
write. This seems
like a pain though.
This archive was generated by a fusion of
Pipermail (Mailman edition) and