[isabelle-dev] [PG-devel] status of support for Proof General (fwd)
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
(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