Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] .isabelle and reading theories


view this post on Zulip Email Gateway (Aug 19 2022 at 15:44):

From: Gergely Buday <gbuday@gmail.com>
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?

view this post on Zulip Email Gateway (Aug 19 2022 at 15:44):

From: Lars Noschinski <noschinl@in.tum.de>
The images, stored in the "heaps" subdirectory. I wonder whether a heap
file could be silently corrupted?

-- Lars

view this post on Zulip Email Gateway (Aug 19 2022 at 15:45):

From: Gottfried Barrow <igbi@gmx.com>
The file .isabelle/Isabelle-2013-2/jedit/recent.xml can cause problems.
I forgot why, but I see now that I renamed it several weeks ago to keep
jEdit from using it, and to see if it was the problem, which it was.

Any configuration file that gets saved and then automatically loaded
from "Isabelle-2013-2/jedit" or "Isabelle-2013-2/etc" is a potential
problem.

Another one might be "Isabelle-2013-2/jedit/properties". Look at the
dates to see if they're being saved, and then rename them to force jEdit
to not use them or to force it to create a new file.

Regards,
GB


Last updated: Mar 29 2024 at 01:04 UTC