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

[Tobias Nipkow]

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.

Tobias