Re: [isabelle] Isabelle 2007 destroys heaps
On Thu, 29 Nov 2007, Daniel Wasserrab wrote:
> If I make the HOL heap read-only, it all works again. But if I create
> via "isabelle -q HOL Test" a new heap file, then this "Test" heap is
> again writeable and the same problem occurs. So manually adjusting these
> self-created heaps is necessary?
By adding option -w to the isabelle invokation the resulting heap will be
read-only; isatool usedir provides a slightly more high-level mechanism to
achive a similar effect.
This archive was generated by a fusion of
Pipermail (Mailman edition) and