Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] [PG] ProofGeneral fail to find heaps

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

From: Makarius <makarius@sketis.net>
---------- Forwarded message ----------
Date: Fri, 7 Aug 2009 10:27:11 +0200 (CEST)
From: Makarius <makarius@sketis.net>
To: Temesghen Kahsai <lememta@gmail.com>
Cc: proofgeneral@inf.ed.ac.uk
Subject: Re: [PG] ProofGeneral fail to find heaps

On Fri, 7 Aug 2009, Temesghen Kahsai wrote:

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 the emacs (Isabelle -> Logics) I don't find my logics.
Any clue why this is happening?

I have fixed that last week, see my private Mercurial view on the PG sources:
http://www4.in.tum.de/~wenzelm/cgi-bin/repos.cgi/ProofGeneral/rev/5842a262bfc9

You can either try your luck on a recent CVS snapshot of Proof General, or ask
David to make a proper package from the present code base.

Makarius

ProofGeneral mailing list
ProofGeneral@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral

Last updated: May 03 2024 at 08:18 UTC