summarylogtreecommitdiffstats
path: root/.SRCINFO
AgeCommit message (Expand)Author
2022-12-13Update to acl2-8.5-1Mort Yao
2020-08-04Update to acl2-8.3-1Mort Yao
2019-05-11Update to acl2-8.2-1Mort Yao
2018-09-20Update to acl2-8.1-1Mort Yao
2017-12-15Update to acl2-8.0-1Mort Yao
2017-04-06Update to acl2-7.4-1Mort Yao
2016-12-24Update to acl2-7.3-1Mort Yao
2016-02-25Update to acl2-7.2-2Mort Yao
2016-02-25Update to acl2-7.2-1Mort Yao
2015-06-09Initial importMort Yao