| Age | Commit message (Expand) | Author |
|---|---|---|
| 2022-12-13 | Update to acl2-8.5-1 | Mort Yao |
| 2020-08-04 | Update to acl2-8.3-1 | Mort Yao |
| 2019-05-11 | Update to acl2-8.2-1 | Mort Yao |
| 2018-09-20 | Update to acl2-8.1-1 | Mort Yao |
| 2017-12-15 | Update to acl2-8.0-1 | Mort Yao |
| 2017-04-06 | Update to acl2-7.4-1 | Mort Yao |
| 2016-12-24 | Update to acl2-7.3-1 | Mort Yao |
| 2016-02-25 | Update to acl2-7.2-2 | Mort Yao |
| 2016-02-25 | Update to acl2-7.2-1 | Mort Yao |
| 2015-06-09 | Initial import | Mort Yao |