aboutsummaryrefslogtreecommitdiff
path: root/tojo-tokyo/packages/acl2.scm
AgeCommit message (Collapse)Author
2021-09-09acl2: Delete acl2s build.Masaya Tojo
2021-09-09acl2: Fix acl2s build method.Masaya Tojo
2021-09-09acl2: Fix typo.Masaya Tojo
2021-09-09acl2: Add acl2s build.Masaya Tojo
2021-09-09acl2: Use ccl.Masaya Tojo
2021-09-08acl2: Version up to 8.4.Masaya Tojo
2021-09-08acl2: Rename from python-acl2-kernel to python-acl2-kernel.Masaya Tojo
2021-09-08acl2: Update.Masaya Tojo
2021-08-29acl2: Build basic.Masaya Tojo
2021-08-29acl2: Remove -j option from make.Masaya Tojo
2021-08-29acl2: Update.Masaya Tojo
2021-07-31Add acl2.Masaya Tojo