summaryrefslogtreecommitdiff
path: root/lang/polyml/patches
AgeCommit message (Expand)AuthorFilesLines
2017-09-15Update to Poly/ML 5.7.asau1-0/+13
2016-03-01Update to Poly/ML 5.6.asau1-28/+0
2015-12-29Add patch comments.dholland4-4/+14
2014-09-29Make compiler wrapper add RPATH.asau1-1/+13
2014-09-24Use C++ frontend to link the code.asau3-0/+60
2014-09-13Update to Poly/ML 5.5.2asau2-21/+5
2014-03-05Fix compilation script to actually work.asau1-2/+2
2013-12-15Update to Poly/ML 5.5.1asau2-5/+21
2012-03-22Update to Poly/ML 5.4.1asau2-15/+18
2009-12-13Update to Poly/ML Version 5.3asau1-0/+15