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.


	Makarius






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