| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | treewide: remove redundant quotes | volth | 2019-08-26 |
| * | treewide: name -> pname (easy cases) (#66585) | volth | 2019-08-15 |
| * | acl2: 8.1 -> 8.2 | R. RyanTM | 2019-05-19 |
| * | acl2: 8.1.post.2018.09.20 -> 8.1; turns out there is a release | Michael Raskin | 2018-09-21 |
| * | acl2: 8.0 -> 8.0.post.2018.09.20; fixes build with fresher SBCL | Michael Raskin | 2018-09-21 |
| * | acl2: 7.4 -> 8.0 | Ryan Mulligan | 2018-02-25 |
| * | acl2: 6.5 -> 7.4, refactor | Keshav Kini | 2017-11-04 |
| * | 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 |