[isabelle-dev] Isabelle/jEdit: Feature Requests for Ctrl-Click

Makarius makarius at sketis.net
Mon Aug 27 17:40:19 CEST 2012

On Mon, 27 Aug 2012, Tobias Nipkow wrote:

> Am 27/08/2012 13:35, schrieb Makarius:
>> It is generally a good move to develop a habit to allocate some small amounts in
>> project proposals etc. for "Poly/ML software maintenance" and direct it to
>> David.  This is how things can continue, and David gets a tiny little bit of
>> recompense for his amazing work on the system.
> Just for the record: I have spent over 20k EUR to this over the past 1 
> 1/2 years but that will have to be it from the TUM side.

That was an important move.  What came from it is the amazing parallel 
memory management that is now in Poly/ML 5.5.0 SVN 1578.


More information about the isabelle-dev mailing list