| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Some ebuild cleaning |   Justin Lecher | 2011-06-24 | 1 | -2/+13 |
| * | sci-mathematics/acl2: have to build books in place |   Dongxu Li | 2011-04-13 | 1 | -3/+2 |
| * | sci-mathematics/acl2: fixed certificate dir | Dongxu Li | 2011-04-12 | 1 | -13/+4 |
| * | Slightly streamlined ebuild | Justin Lecher | 2011-04-12 | 1 | -3/+13 |
| * | sci-mathematics/acl2: industrial strength theorem prover, #49316 | Dongxu Li | 2011-04-12 | 1 | -0/+4 |
GitWeb