Age | Commit message (Expand) | Author |
---|---|---|
2022-07-16 | tojo-tokyo: acl2: Certificate system books.... | Masaya Tojo |
2021-09-15 | python-acl2-kernel: Rename from jupyter-acl2-kernel to python-acl2-kernel. | Masaya Tojo |
2021-09-15 | jupyter-acl2-kernel: Add `#t` to install-kernel phase. | Masaya Tojo |
2021-09-15 | jupyter-acl2-kernel: Use acl2-kernel-for-guix. | Masaya Tojo |
2021-09-09 | acl2: Delete acl2s build. | Masaya Tojo |
2021-09-09 | acl2: Fix acl2s build method. | Masaya Tojo |
2021-09-09 | acl2: Fix typo. | Masaya Tojo |
2021-09-09 | acl2: Add acl2s build. | Masaya Tojo |
2021-09-09 | acl2: Use ccl. | Masaya Tojo |
2021-09-08 | acl2: Version up to 8.4. | Masaya Tojo |
2021-09-08 | acl2: Rename from python-acl2-kernel to python-acl2-kernel. | Masaya Tojo |
2021-09-08 | acl2: Update. | Masaya Tojo |
2021-08-29 | acl2: Build basic. | Masaya Tojo |
2021-08-29 | acl2: Remove -j option from make. | Masaya Tojo |
2021-08-29 | acl2: Update. | Masaya Tojo |
2021-07-31 | Add acl2. | Masaya Tojo |