Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
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 |