[isabelle-dev] key bindings

Makarius makarius at sketis.net
Thu Jan 17 12:35:18 CET 2013

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 

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 


More information about the isabelle-dev mailing list