[isabelle] .isabelle and reading theories



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?

- Gergely



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