Commit message (Expand) | Author | Age | |
---|---|---|---|
* | 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 |