[polyml] 5.7 Release

[David Matthews]

The latest version, provisionally called 5.6.1, has had very little 
change for several months.  I'm not aware of any show-stoppers so I 
think it would be a good time to make a release.  Because there have 
been some major changes I was planning to call it 5.7.  This is the last 
chance to do any last tests before the release.

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