Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Fixup USE_GITHUB usage. | Mathieu Arnold | 2016-11-26 | 1 | -2/+3 |
* | lang/polyml: 5.5.2 -> 5.6 | Kurt Jaeger | 2016-04-15 | 1 | -2/+2 |
* | lang/polyml: Upgrade version 5.5 => 5.5.2 | John Marino | 2014-07-27 | 1 | -2/+2 |
* | - Update to 5.5 | Beech Rintoul | 2013-03-04 | 1 | -2/+2 |
* | - Update to 5.4.1 | Sunpoet Po-Chuan Hsieh | 2012-05-21 | 1 | -2/+2 |
* | - remove MD5 | Olli Hauer | 2011-07-03 | 1 | -1/+0 |
* | - Update to 5.4 | Sunpoet Po-Chuan Hsieh | 2010-10-16 | 1 | -3/+3 |
* | - Update to 5.3 | Li-Wen Hsu | 2010-08-22 | 1 | -3/+3 |
* | - Update to 5.2.1 | Yi-Jheng Lin | 2009-10-20 | 1 | -3/+3 |
* | [MAINTAINER] lang/polyml: 5.1 -> 5.2 | Edwin Groothuis | 2008-08-15 | 1 | -3/+3 |
* | - Update to 5.1 | Rong-En Fan | 2008-04-04 | 1 | -3/+3 |
* | - Update to 5.0 | Martin Wilke | 2007-03-06 | 1 | -12/+3 |
* | - Update to 4.2.0 | Marcus Alves Grando | 2006-03-29 | 1 | -12/+12 |
* | SHA256ify | Edwin Groothuis | 2006-01-30 | 1 | -0/+4 |
* | Add polyml 4.1.3, a fast open-source implementation of Standard ML. | Simon Barner | 2005-07-29 | 1 | -0/+8 |