On Mon, 27 Aug 2012, Tobias Nipkow wrote:
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.
That was an important move. What came from it is the amazing parallel
memory management that is now in Poly/ML 5.5.0 SVN 1578.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
