K 10 svn:author V 6 jkoshy K 8 svn:date V 27 2000-05-29T06:18:23.000000Z K 7 svn:log V 140 Split the `sml-nj' port into `sml-nj' and `sml-nj-devel'. Requested by: Chris Richards Repo copied by: asami END