Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2012-01-29 | Update to SML/NJ 110.73 | asau | 1 | -1/+7 |
2010-02-07 | Update to SML/NJ 110.72, bug fix release. | asau | 1 | -1/+4 |
2009-09-22 | Commit forgotten PLIST for 110.71 update. | asau | 1 | -106/+146 |
2009-06-14 | Remove @dirrm entries from PLISTs | joerg | 1 | -132/+1 |
2008-04-12 | Convert to use PLIST_VARS instead of manually passing "@comment " | jlam | 1 | -16/+16 |
2004-06-06 | Revert to smlnj-110.42, as 110.45 is troublesome. While doing so, keep it | snj | 1 | -191/+190 |
2004-04-09 | Update to smlnj-110.45. | snj | 1 | -190/+191 |
2003-07-01 | Make this work on powerpc. | jtb | 1 | -16/+16 |
2003-03-21 | Reimport sml-nj as smlnj, which is the name commonly used by the community. | wiz | 1 | -0/+264 |