[polyml] Version 5.8.1 Release

[David Matthews]

After the recent bug fixes I thought it was time to produce a new 
release.  There are very few new features; it's almost all bug fixes.

Thanks to everyone for the patches and bug reports.
David

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