[polyml] 5.7.1 release candidate

[David Matthews]

Thanks to everyone who sent in bug reports.  We're almost ready to 
release 5.7.1.  I've updated Git master ( 44b7b88 ) with pre-built 
compilers for 5.7.1.  This is the last chance check it before the 
release which will probably happen at the end of the week.

David
_______________________________________________
polyml mailing list
polyml@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml