| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | acl2: use mkDerivation | Robin Gloster | 2016-01-30 |
| * | Adopt fix from ewemoa to give more memory to acl2 build | Michael Raskin | 2014-09-20 |
| * | Update ACL2 | Michael Raskin | 2014-09-01 |
| * | * "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointless | Eelco Dolstra | 2012-01-18 |
| * | Add myself as a maintainer | Michael Raskin | 2010-01-21 |
| * | Adding ACL2. | Michael Raskin | 2009-08-13 |