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