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@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel