summaryrefslogtreecommitdiff
path: root/lang/polyml
AgeCommit message (Expand)Author
2007-03-11- Remove patchset (forget in last commit)Martin Wilke
2007-03-06- Update to 5.0Martin Wilke
2006-03-29- Update to 4.2.0Marcus Alves Grando
2006-01-30SHA256ifyEdwin Groothuis
2005-07-29Add polyml 4.1.3, a fast open-source implementation of Standard ML.Simon Barner