summaryrefslogtreecommitdiff
path: root/lang/smlnj
AgeCommit message (Collapse)AuthorFilesLines
2003-03-29Place WRKSRC where it belongs, to make pkglint happy; ok'ed by wiz.jmmv1-2/+2
2003-03-21Update to 110.42, from Christopher Richards in connection with PR 18678.wiz12-97/+191
Changes: A number of small, but important bug fixes.
2003-03-21Reimport sml-nj as smlnj, which is the name commonly used by the community.wiz10-0/+764
Suggested by Christopher Richards in connection with PR 18678.