[isabelle-dev] key bindings

[Lawrence Paulson]

I have updated, see below:

~/isabelle/Repos/src/HOL: hg id
00d87ade2294 tip
~/isabelle/Repos/src/HOL: isabelle components -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-2
  /Users/lp15/.isabelle/contrib/exec_process-1.0.3
  /Users/lp15/.isabelle/contrib/Haskabelle-2013
  /Users/lp15/.isabelle/contrib/jdk-7u11
  /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

Missing components:
~/isabelle/Repos/src/HOL: 

And I have to say, it looks very much better! The difference from just last week's version is remarkable.

I'm afraid that the crash is still there. By crash, I mean everything dies. I've attached a core dump. To do this, I select Utilities > Global Options > Shortcuts. In the filter, I type "select code block", choose the key binding CMD-[, and when it asks whether to overwrite an existing binding, click YES.

Larry
-------------- next part --------------
A non-text attachment was scrubbed...
Name: hs_err_pid2302.log
Type: application/octet-stream
Size: 49612 bytes
Desc: not available
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20130118/5242fe00/attachment-0002.obj>
-------------- next part --------------

On 17 Jan 2013, at 12:59, Makarius <makarius at sketis.net> wrote:

> On Thu, 17 Jan 2013, Lawrence Paulson wrote:
> 
> Depending what you mean by "crash", this hyperreactive popup might cause problems on Mac OS X.
> 
> 
>> ~/isabelle/Repos/src/HOL: hg id
>> cbc7002cc273 tip
>> ~/isabelle/Repos/src/HOL: isabelle component -l
>> 
>> Available components:
>> /Users/lp15/.isabelle/contrib/jdk-7u9
> 
> This is already 1 week old.  In the meantime Oracle puslished jdk-7u11 and I updated to it.  This might or might not improve the Java-on-Mac situation again a tiny little bit.