On Fri, 5 Apr 2013, David Greenaway wrote:
What practical things could such volunteers do that you would find
helpful?
So how about maintaining Proof General, seriously, no-nonse?
And there are other unmaintained parts, such as WWW_Find. (Note that
several other people have worked there in the meantime, and they should be
included in the discussion, to benefit from the experience gained from
certain find_theorems experiements that never hit the repository so far.)
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
