[isabelle-dev] key bindings

Lawrence Paulson lp15 at cam.ac.uk
Wed Jan 16 13:44:07 CET 2013

Previous message (by thread): [isabelle-dev] Towards the release -- Bitbucket
Next message (by thread): [isabelle-dev] key bindings
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

I'm having a frustrating time with jEdit key bindings. If I try to redefine an existing binding, it crashes.
Larry

Previous message (by thread): [isabelle-dev] Towards the release -- Bitbucket
Next message (by thread): [isabelle-dev] key bindings
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the isabelle-dev mailing list