[isabelle-dev] x-symbols

Makarius 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 mailing list