Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2010-07-20 | Update to Mercury 0.13.1 | asau | 1 | -16/+0 |
2003-07-05 | Convert to USE_NEW_TEXINFO. | seb | 1 | -0/+16 |
2003-05-02 | Update mercury to version 0.11.0. | jtb | 1 | -21/+0 |
2001-05-15 | Initial import of mercury-0.10.1. | jtb | 1 | -0/+21 |