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

David

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