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 <[email protected]>
To: [email protected]
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
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
