Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | development/polyml: Updated for version 5.5.2 + new maintainer. | Antonio Hernández Blas | 2015-01-19 | 1 | -5/+5 |
* | development/polyml: Mark as unmaintained. | Heinz Wiesinger | 2012-10-07 | 1 | -2/+2 |
* | Add REQUIRED field to .info files. | Erik Hanson | 2012-08-19 | 1 | -0/+1 |
* | Entire Repo: Remove APPROVED field from .info files | Robby Workman | 2012-08-14 | 1 | -1/+0 |
* | development/polyml: Added (full implementation of Standard ML) | Eugene Suter | 2010-05-15 | 1 | -0/+10 |