Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | */*: Sunset 12.4-RELEASE/12-STABLE from ports tree | Muhammad Moinur Rahman | 2023-12-31 | 1 | -4/+0 |
* | lang/mlton: Refactor | Muhammad Moinur Rahman | 2023-12-12 | 1 | -4/+0 |
* | lang/mlton: Update to 20210816 | Timothy Beyer | 2021-10-20 | 1 | -6/+15 |
* | Bring lang/mlton back into shape. | Rene Ladan | 2014-03-07 | 1 | -6/+6 |
* | - remove MD5 | Olli Hauer | 2011-07-03 | 1 | -3/+0 |
* | This patch adds three features to the lang/mlton port: | Stefan Walter | 2008-12-10 | 1 | -3/+6 |
* | - Update to 20070826 | Thomas Abthorpe | 2008-01-26 | 1 | -6/+6 |
* | lang/mlton: removing BROKEN | Daichi GOTO | 2006-06-29 | 1 | -3/+3 |
* | - Update to 20051202 | Pav Lucistnik | 2006-01-05 | 1 | -6/+6 |
* | RESURRECT PORT: lang/mlton | Edwin Groothuis | 2005-12-01 | 1 | -0/+6 |
* | As previously announced, remove ports that have reached their expiry date, | Kris Kennaway | 2005-02-18 | 1 | -6/+0 |
* | Add mlton 20040227, an optimizing Standard ML compiler. | Thierry Thomas | 2004-08-21 | 1 | -0/+6 |