Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2003-03-29 | Place WRKSRC where it belongs, to make pkglint happy; ok'ed by wiz. | jmmv | 1 | -2/+2 | |
2003-03-21 | Update to 110.42, from Christopher Richards in connection with PR 18678. | wiz | 12 | -97/+191 | |
Changes: A number of small, but important bug fixes. | |||||
2003-03-21 | Reimport sml-nj as smlnj, which is the name commonly used by the community. | wiz | 10 | -0/+764 | |
Suggested by Christopher Richards in connection with PR 18678. |