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