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