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