[polyml] Release of 5.6

[David Matthews]

I've just "released" 5.6 on Github and also on SourceForge.  As well as 
the tar sources for Unix there are installers for 32-bit and 64-bit 
Windows.  Thanks to everyone who contributed.

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