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

[Makarius]

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.)


 	Makarius

---------- 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

Hi,

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.

Bye,

Hendrik
_______________________________________________
ProofGeneral-devel mailing list
ProofGeneral-devel at inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel