aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2022-08-09acl2: Update copyright.Masaya Tojo
2022-08-09acl2: Verson up to 8.5.Masaya Tojo
2022-07-16tojo-tokyo: acl2: Certificate system books....Masaya Tojo
2022-05-15emacs-xyz: Fix module name.Masaya Tojo
2022-05-15README.md: Update.Masaya Tojo
2022-05-15.guix-authorizations: Update.Masaya Tojo
2022-05-15emacs-xyz: Add emacs-ob-acl2....Masaya Tojo
2021-09-20Add .guix-authorizations file....Masaya Tojo
2021-09-17guile-vikalpa: Update to 0.3.5.Masaya Tojo
2021-09-16guile-vikalpa: Update to 0.3.4.Masaya Tojo
2021-09-16guile-vikalpa: Update to 0.3.3.Masaya Tojo
2021-09-16guile-vikalpa: Fix hash....Masaya Tojo
2021-09-16guile-vikalpa: Update to 0.3.2.Masaya Tojo
2021-09-16guile-vikalpa: Update to 0.3.1.Masaya Tojo
2021-09-16guile-vikalpa: Update to 0.3.0.Masaya Tojo
2021-09-15guile-vikalpa: Version up.Masaya Tojo
2021-09-15guile-vikalpa: Fix homepage url.Masaya Tojo
2021-09-15guile-vikalpa: Version up.Masaya Tojo
2021-09-15Add guile-vikalpa.Masaya Tojo
2021-09-15python-acl2-kernel: Rename from jupyter-acl2-kernel to python-acl2-kernel.Masaya Tojo
2021-09-15jupyter-acl2-kernel: Add `#t` to install-kernel phase.Masaya Tojo
2021-09-15jupyter-acl2-kernel: Use acl2-kernel-for-guix.Masaya Tojo
2021-09-11guile-tojo-tokyo-monitoring: Version up.Masaya Tojo
2021-09-10guile-tojo-tokyo-monitoring: Version up.Masaya Tojo
2021-09-10guile-tojo-tokyo-monitoring: Version up.Masaya Tojo
2021-09-10guile-tojo-tokyo-monitoring: Version up.Masaya Tojo
2021-09-10guile-tojo-tokyo-monitoring: Add (gnu packages tls) modules.Masaya Tojo
2021-09-10guile-tojo-tokyo-monitoring: Add gnutls to inputs.Masaya Tojo
2021-09-10guile-tojo-tokyo-monitoring: Fix hash.Masaya Tojo
2021-09-10Rename from guile-monitoring to guile-tojo-tokyo-monitoring.Masaya Tojo
2021-09-10Add guile-monitoring.Masaya Tojo
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-08Delete acl2-kernel.scm file.Masaya Tojo
2021-09-08acl2: Update.Masaya Tojo
2021-09-08acl2-kernel: Add acl2-kernel.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
2021-05-15tojo-tokyo: guile-sicp-picture-language: Fix hash....Masaya Tojo
2021-05-15Fix `Installation` section....Masaya Tojo
2021-05-15tojo-tokyo: guile-sicp-picture-language: Update to 0.2.2....Masaya Tojo
2021-04-17gnu: guile-sicp-picture-language: Use propagated-inputs....Masaya Tojo
2021-04-17gnu: extract-green-color: Use propagated-inputs....Masaya Tojo
generated by cgit v1.2.3 (git 2.46.0) at 2024-12-26 05:21:10 +0000