[isabelle-dev] key bindings

[Lawrence Paulson]

Here are some further data. Mac OS X version 10.8.2.

I was puzzled by slight differences between my setup on my workstation and my laptop, for example, pressing RETURN performs auto complete on one but not the other. I couldn't find any generic information about how auto complete works on jEdit, but there must be a setting somewhere.

Larry

~/isabelle/Repos/src/HOL: hg id
cbc7002cc273 tip
~/isabelle/Repos/src/HOL: isabelle component -l

Available components:
  /Users/lp15/isabelle/Repos
  /Users/lp15/isabelle/Repos/src/Tools/Code
  /Users/lp15/isabelle/Repos/src/Tools/jEdit
  /Users/lp15/isabelle/Repos/src/Tools/Graphview
  /Users/lp15/isabelle/Repos/src/Tools/WWW_Find
  /Users/lp15/isabelle/Repos/src/HOL/Mirabelle
  /Users/lp15/isabelle/Repos/src/HOL/Mutabelle
  /Users/lp15/isabelle/Repos/src/HOL/Library/Sum_of_Squares
  /Users/lp15/isabelle/Repos/src/HOL/Tools/ATP
  /Users/lp15/isabelle/Repos/src/HOL/Tools/Predicate_Compile
  /Users/lp15/isabelle/Repos/src/HOL/Tools/Sledgehammer/MaSh
  /Users/lp15/isabelle/Repos/src/HOL/Tools/SMT
  /Users/lp15/isabelle/Repos/src/HOL/TPTP
  /Users/lp15/isabelle/Repos/Admin
  /Users/lp15/.isabelle
  /Users/lp15/.isabelle/contrib/cvc3-2.4.1
  /Users/lp15/.isabelle/contrib/e-1.6
  /Users/lp15/.isabelle/contrib/exec_process-1.0.3
  /Users/lp15/.isabelle/contrib/jdk-7u9
  /Users/lp15/.isabelle/contrib/jedit_build-20130104
  /Users/lp15/.isabelle/contrib/jfreechart-1.0.14
  /Users/lp15/.isabelle/contrib/kodkodi-1.5.2
  /Users/lp15/.isabelle/contrib/polyml-5.5.0
  /Users/lp15/.isabelle/contrib/scala-2.10.0
  /Users/lp15/.isabelle/contrib/spass-3.8ds
  /Users/lp15/.isabelle/contrib/z3-3.2