Age | Commit message (Expand) | Author |
---|---|---|
2017-10-14 | development/camlp5: Updated for version 7.02. | |
2017-08-12 | development/camlp5: Updated for version 7.01. | |
2017-02-12 | development/camlp5: Fixed download. | |
2017-02-10 | development/camlp5: Updated for version 6.17. | |
2016-07-20 | development/camlp5: Updated for version 6.16. | |
2015-07-22 | development/camlp5: Updated for version 6.13. | |
2014-07-16 | development/camlp5: Updated for version 6.11 + new maintainer. | |
2012-08-20 | Add REQUIRED field to .info files. | |
2012-08-15 | Entire Repo: Remove APPROVED field from .info files | |
2011-08-05 | development/camlp5: Updated for version 6.02.3 (+new maintainer) | |
2010-12-21 | development/camlp5: Added (ocaml preprocessor and pretty-printer) |