[polyml] Towards Poly/ML 5.6

[David Matthews]

I've updated the github repository with pre-built compilers for 5.6 
Release.  This is now the release candidate.  Unless there are any 
significant problems this will be released in the next few weeks.

Best wishes for 2016,
David
_______________________________________________
polyml mailing list
polyml@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml