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
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
