On 25/01/2016 16:04, Ramana Kumar wrote:
Thanks! Don't forget to update polyml.org.
Thanks for reminding me. I've done that and improved the home page a bit. Regards, David _______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
