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

Lawrence Paulson lp15 at cam.ac.uk
Mon Aug 27 21:27:01 CEST 2012


Various projects of mine, going back many years, have supported Poly/ML at the rate of £1000 per year. (That's just under €1300.) This is a much better use of grant money than to give it to already wealthy publishers for the sake of so-called Gold open access.

Larry

On 27 Aug 2012, at 16:18, Tobias Nipkow <nipkow at in.tum.de> wrote:

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




More information about the isabelle-dev mailing list