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

David Matthews dm at prolingua.co.uk
Tue Aug 28 16:02:11 CEST 2012

Just to add that I'm very grateful for this support which enables 
Poly/ML to continue and get better with each release since I don't have 
a university or a big company behind me.

If anyone has a feature that requires work on Poly/ML and a bit of money 
I'm happy to discuss it.


On 27/08/2012 20:27, Lawrence Paulson wrote:
> 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.
> _______________________________________________ isabelle-dev mailing
> list isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

More information about the isabelle-dev mailing list