Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Proof General fails to find heaps

view this post on Zulip Email Gateway (Aug 18 2022 at 13:54):

From: Temesghen Kahsai <lememta@gmail.com>
Hi all,

I am using Isabelle2009 and ProofGeneral version 4.0pre090526.
On the command line (Isabelle findlogics) I can find all my heaps;
however when I try to select the logic from emacs (Isabelle -> Logics)
I don't find my logics. Any clue why this is happening?

I attached a screenshot of what I see when I try to select a logic.

Cheers,

Teme
Picture 4.png

Last updated: May 03 2024 at 08:18 UTC