summaryrefslogtreecommitdiff
path: root/lang/polyml/PLIST
AgeCommit message (Expand)AuthorFilesLines
2019-05-02Update to version 5.7.1. Switch to github releases.alnsn1-1/+2
2014-09-13Update to Poly/ML 5.5.2asau1-1/+2
2013-12-15Update to Poly/ML 5.5.1asau1-1/+3
2009-03-20Import Poly/ML version 5.2.1asau1-0/+7