makarius at sketis.net
Thu Sep 3 22:38:12 CEST 2009
On Thu, 3 Sep 2009, David Aspinall wrote:
> I hadn't realised that Emacs 23 was released at the end of July. At
> last! I managed to resurrect an old Powerbook and try out the build
> from CVS which worked well but needed some hackery to get the new font
> menu working. (A binary build of Emacs 23 is available here:
> http://emacsformacosx.com/ although I haven't tried it myself).
I have seen this in the Proof General changes a few days ago, and started
using it. It claims to be "Pure Emacs! No Extras! No Nonsense!" and it
looks indeed quite promising so far.
One minor problem with non-English keyboard: the alt-graph key is remapped
by default, but something like this will help:
(custom-set-variables '(ns-alternate-modifier 'none))
More information about the isabelle-dev