[isabelle-dev] key bindings

Lawrence Paulson lp15 at cam.ac.uk
Fri Jan 18 13:56:34 CET 2013

I have updated, see below:

~/isabelle/Repos/src/HOL: hg id
00d87ade2294 tip
~/isabelle/Repos/src/HOL: isabelle components -l

Available components:

Missing components:

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.

-------------- 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.

More information about the isabelle-dev mailing list