| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | add camlp5 useflag to allow building coq with it, bug #434230 by Christian D. |   Alexis Ballier | 2012-10-06 | 1 | -3/+6 |
| * | version bump, use camlp4 and switch the desktop entry to make_desktop_entry | Alexis Ballier | 2012-08-24 | 1 | -0/+78 |
GitWeb