Re: [isabelle] Emacs 23/PG 4 problems on Mac



On Tue, 12 Apr 2011, Christoph Sprenger wrote:

1) The Emacs Meta modifier is bound to the Option key instead of the Command key.

I have something like this in my $ISABELLE_HOME_USER/etc/proofgeneral-settings.el, but you can also use the customization menu in Emacs:

   (setq mac-option-modifier nil)


	Makarius





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.