Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2018-02-18 | lang/mercury: move HTML documentation to share/doc/mercury/html | rillig | 1 | -2/+2 |
2015-12-29 | Add patch comments. | dholland | 1 | -1/+3 |
2012-01-30 | Update to Mercury 11.07 | asau | 1 | -8/+8 |
2010-07-20 | Update to Mercury 0.13.1 | asau | 1 | -5/+7 |
2003-05-02 | Update mercury to version 0.11.0. | jtb | 1 | -17/+21 |
2001-05-15 | Initial import of mercury-0.10.1. | jtb | 1 | -0/+19 |