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 <nip...@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-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
