[isabelle-dev] [PATCH 0 of 1] Fix top-level printing of exception messages containing forced-line breaks

Makarius makarius at sketis.net
Fri Apr 5 00:32:38 CEST 2013

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


More information about the isabelle-dev mailing list