[isabelle-dev] [PG-devel] status of support for Proof General (fwd)

Makarius makarius at sketis.net
Wed Feb 27 15:37:03 CET 2013

Maybe this is of some concern to people here.  It is not just Proof 
General / Isabelle that is getting problems soon, if nobody stands up to 
do something.

(I am myself doing something for Isabelle/Scala and Isabelle/jEdit only.)


---------- Forwarded message ----------
Date: Tue, 26 Feb 2013 15:21:38 +0100
From: Hendrik Tews <tews at os.inf.tu-dresden.de>
To: ProofGeneral-devel at inf.ed.ac.uk
Subject: [PG-devel] status of support for Proof General


do we have a support problem for Proof General?

I am asking because we have issues in the tracker that are quite
old and nobody seems to care... for instance #460 or #463 to
which I gave partial answers today.

Do we have a lack of developers or do the developers not like to
comment on issues in the tracker?

Whatever the reason is, if we cannot improve the situation, I
would suggest to put an appropriate note on the tracker, saying
issue handling may take some time. Letting users find this out
themselves is the worst we can do.


ProofGeneral-devel mailing list
ProofGeneral-devel at inf.ed.ac.uk

More information about the isabelle-dev mailing list