[isabelle-dev] key bindings

[Makarius]

On Wed, 16 Jan 2013, Lawrence Paulson wrote:

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

Can you describe the observations in a way that there is a chance to 
isolated the problem?  What is the version of: Isabelle + operating 
system?

Since there is a chance that you have bad local settings, you may also try 
http://www4.in.tum.de/~wenzelm/test/Isabelle_14-Jan-2013/ -- it is not 
quite a release candidate yet, but ensures a fresh start of 
ISABELLE_HOME_USER.


 	Makarius