Email Gateway (Aug 18 2022 at 13:54): 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: Nov 21 2024 at 12:39 UTC