Activity
From 29 Sep 2023 to 28 Oct 2023
25 Oct 2023
- 21:26 Bug #1766 (Resolved): Emacs 29: Removal of obsolete entries
- I have just checked in the change suggested by Nico.
18 Oct 2023
- 16:29 Bug #1766: Emacs 29: Removal of obsolete entries
- Thanks Nico for the bug report.
I wonder why that face is even defined? When, if ever, is it used?
I have followed... - 13:51 Bug #1766 (Closed): Emacs 29: Removal of obsolete entries
- As stated in the release notes of Emacs 29 (https://git.savannah.gnu.org/cgit/emacs.git/tree/etc/NEWS?h=emacs-29), <c...
16 Oct 2023
- 20:02 Design #1765 (New): Difference between seealso and keys?
- I wanted to loo up how to generate a random permutation -- I was fairly sure that CoCoA-5 had such a function. So I ...
Also available in: Atom