aboutsummaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
keyringRename.Masaya Tojo3 years
masterRemove acl2Masaya Tojo2 weeks
 
 
AgeCommit messageAuthor
2025-06-21Remove acl2HEADmasterMasaya Tojo
2025-06-21Remove emacs-ob-acl2Masaya Tojo
2025-06-21Remove emacs-cfrsMasaya Tojo
2025-02-28Remove emacs-ellama-0.13Masaya Tojo
2024-12-01emacs-ellama: Add 0.13 versionMasaya Tojo
2024-12-01Remove emacs-ellama-nextMasaya Tojo
2024-12-01Rename to emacs-ellamaMasaya Tojo
2024-12-01Rename to emacs-ellama-nextMasaya Tojo
2024-12-01Add emacs-ellama-next packageMasaya Tojo
2024-08-25Update guile-r7rs-accel-asc from v1.0.0 to v1.1.0Masaya Tojo
[...]