Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | lang/polyml: update to 5.7.1 | fernape | 2018-06-30 | 1 | -3/+3 |
* | Fixup USE_GITHUB usage. | mat | 2016-11-26 | 1 | -2/+3 |
* | lang/polyml: 5.5.2 -> 5.6 | pi | 2016-04-16 | 1 | -2/+2 |
* | lang/polyml: Upgrade version 5.5 => 5.5.2 | marino | 2014-07-27 | 1 | -2/+2 |
* | - Update to 5.5 | beech | 2013-03-05 | 1 | -2/+2 |
* | - Update to 5.4.1 | sunpoet | 2012-05-21 | 1 | -2/+2 |
* | - remove MD5 | ohauer | 2011-07-03 | 1 | -1/+0 |
* | - Update to 5.4 | sunpoet | 2010-10-16 | 1 | -3/+3 |
* | - Update to 5.3 | lwhsu | 2010-08-22 | 1 | -3/+3 |
* | - Update to 5.2.1 | yzlin | 2009-10-20 | 1 | -3/+3 |
* | [MAINTAINER] lang/polyml: 5.1 -> 5.2 | edwin | 2008-08-15 | 1 | -3/+3 |
* | - Update to 5.1 | rafan | 2008-04-04 | 1 | -3/+3 |
* | - Update to 5.0 | miwi | 2007-03-07 | 1 | -12/+3 |
* | - Update to 4.2.0 | mnag | 2006-03-29 | 1 | -12/+12 |
* | SHA256ify | edwin | 2006-01-30 | 1 | -0/+4 |
* | Add polyml 4.1.3, a fast open-source implementation of Standard ML. | barner | 2005-07-29 | 1 | -0/+8 |