Re: [isabelle] .isabelle and reading theories



On 05.08.2014 10:27, Gergely Buday wrote:
> Hi,
>
> I tried to read a theory and Isabelle/JEdit stuck at the very same point in
> a dependency no matter how I tried. I did start I/J without any special
> image.
>
> Removing ~/.isabelle/Isabelle-2013-2 and creating a fresh install cured the
> problem.
>
> What does Isabelle/JEdit store in that directory that affects reading
> theories?
The images, stored in the "heaps" subdirectory. I wonder whether a heap
file could be silently corrupted?

  -- Lars




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