Branch | Commit message | Author | Age | |
---|---|---|---|---|
keyring | Rename. | Masaya Tojo | 3 years | |
master | Remove acl2 | Masaya Tojo | 2 weeks | |
Age | Commit message | Author | ||
2025-06-21 | Remove acl2HEADmaster | Masaya Tojo | ||
2025-06-21 | Remove emacs-ob-acl2 | Masaya Tojo | ||
2025-06-21 | Remove emacs-cfrs | Masaya Tojo | ||
2025-02-28 | Remove emacs-ellama-0.13 | Masaya Tojo | ||
2024-12-01 | emacs-ellama: Add 0.13 version | Masaya Tojo | ||
2024-12-01 | Remove emacs-ellama-next | Masaya Tojo | ||
2024-12-01 | Rename to emacs-ellama | Masaya Tojo | ||
2024-12-01 | Rename to emacs-ellama-next | Masaya Tojo | ||
2024-12-01 | Add emacs-ellama-next package | Masaya Tojo | ||
2024-08-25 | Update guile-r7rs-accel-asc from v1.0.0 to v1.1.0 | Masaya Tojo | ||
[...] |