Hello Hendrik,
It is a good idea to add a note to the trac. I would say that the
support is currently by best efforts of people who have other jobs and
little spare time -- such as you and I.
I think there are other people on this list but probably no very active
developers at the moment. (If anyone is keen to devote support effort
to PG, they should get in touch with me, there might be ways to help
provide a bit of project work.)
In general, the support problem is of course a typical problem with
research software in our discipline, where it seems hard to get funding
to provide baseline support for a system, and it is often done "on the
side" with some research topic. Proof General has only ever been
supported indirectly by minor contributions from other research projects
--- impressive that it has lasted and been maintained so well despite
that, and I'm grateful for all the time people have dedicated.
- David
On 26/02/13 14:21, Hendrik Tews wrote:
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
_______________________________________________
ProofGeneral-devel mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel
--
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.
