Philip
In the "Singleton Set" section it says: > The set of books written by the American writer Harper Lee and published during her lifetime is a singleton set - she...
Hello, this is just to let you know that wgrep has been added to [NonGNU ELPA](https://elpa.nongnu.org/). This is the new package repository added to Emacs 28 for packages without copyright...
Hi, would you be interested in having langtool added to [NonGNU ELPA](https://elpa.nongnu.org). It would allow more people to install stable releases of the package OOTB. It see that there there...
I don't know if you've heard about [sweeprolog](https://elpa.nongnu.org/nongnu/sweeprolog.html), but the package has recently been added to NonGNU ELPA. Do you think ediprolog and sweeprolog could be made to work well...
Since Emacs 30 (?) not doing this appears to trigger a warning during byte compilation.
The [Abella](https://abella-prover.org/) proof assistant has been maintaining [a fork of Proof General](https://github.com/abella-prover/PG) for a while now, even though looking at the [diff](https://github.com/abella-prover/PG/compare/abella...ProofGeneral:PG:master), the two don't seem that irreconcilable. Even though...
This is another attempt at merging the changes proposed in #6536, hopefully now without the peculiar bug that @andreasabel reported. I don't have any too sophisticated projects to stress test...
Emacs 28 has a global minor mode called `repeat-mode` that allows commands to define temporary keymaps that should be enabled right after the command was invoked. One example: `other-window` (C-x...
Based on the work in #6123 and the changes from #6536, #6537, #6538 and #6539 I want to propose using [Xref](https://www.gnu.org/software/emacs/manual/html_node/emacs/Xref.html) instead of a custom "jump-to-definition" framework. The general argument...
Based on #6536, #6537 and #6538 I want to propose not to rebind Tab to `eri-indent`, but instead use the default binding for tab (`indent-for-tab-command`), which can be reprogrammed to...