[isabelle-dev] Preferences on Mac OS X

Lawrence Paulson lp15 at cam.ac.uk
Wed Sep 25 00:05:35 CEST 2013


Never tried using this with jEdit. 

I won't mind having the Mac cursor-movement keyboard shortcuts.

Larry

On 24 Sep 2013, at 22:43, Makarius <makarius at sketis.net> wrote:

> How important is the canonical key sequence "COMMAND comma" as defined by Apple?




More information about the isabelle-dev mailing list