K 10 svn:author V 6 barner K 8 svn:date V 27 2005-07-29T07:19:56.000000Z K 7 svn:log V 130 Add polyml 4.1.3, a fast open-source implementation of Standard ML. PR: 83433 Submitted by: Timothy Bourke END