aboutsummaryrefslogtreecommitdiffstats
path: root/lang/polyml
Commit message (Expand)AuthorAgeFilesLines
* - Fix build with gcc 4rafan2008-04-051-0/+11
* - Update to 5.1rafan2008-04-042-7/+7
* - Marked broken for amd64miwi2007-03-211-0/+1
* - Remove patchset (forget in last commit)miwi2007-03-114-68/+0
* - Update to 5.0miwi2007-03-073-103/+19
* - Update to 4.2.0mnag2006-03-298-172/+74
* SHA256ifyedwin2006-01-301-0/+4
* Add polyml 4.1.3, a fast open-source implementation of Standard ML.barner2005-07-2912-0/+290