summaryrefslogtreecommitdiff
path: root/lang/smlnj/PLIST
AgeCommit message (Expand)AuthorFilesLines
2012-01-29Update to SML/NJ 110.73asau1-1/+7
2010-02-07Update to SML/NJ 110.72, bug fix release.asau1-1/+4
2009-09-22Commit forgotten PLIST for 110.71 update.asau1-106/+146
2009-06-14Remove @dirrm entries from PLISTsjoerg1-132/+1
2008-04-12Convert to use PLIST_VARS instead of manually passing "@comment "jlam1-16/+16
2004-06-06Revert to smlnj-110.42, as 110.45 is troublesome. While doing so, keep itsnj1-191/+190
2004-04-09Update to smlnj-110.45.snj1-190/+191
2003-07-01Make this work on powerpc.jtb1-16/+16
2003-03-21Reimport sml-nj as smlnj, which is the name commonly used by the community.wiz1-0/+264