Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Update moscow_ml to version 1.43. This is a good version of ml if | chuckr | 1998-08-03 | 1 | -1/+1 |
| | | | | | you are limited in space. If you have no space limitations, I'd really recommend the new smlnj port instead. | ||||
* | Update changed md5 on distfile. | chuckr | 1997-12-02 | 1 | -1/+1 |
| | | | | Submitted by: Thordur Ivarsson <totii@est.is> | ||||
* | The distfile changed. | max | 1997-02-15 | 1 | -1/+1 |
| | | | | | Noticed by: Arne Henrik Juul <arnej@imf.unit.no> (Closing 1/14 of PR #2677.) | ||||
* | Submitted by: chuckr | chuckr | 1996-07-28 | 1 | -0/+1 |
New version of the sml programming language, based upon caml. |