Re: [isabelle-dev] CGSCreateKeyboardEvent

[Lawrence Paulson]

My impression is that this message appears after quitting Isabelle under 
unusual circumstances, e.g., after it asks you what to do with a modified 
buffer.

I am using OS X El Capitan.

Larry

> On 15 Nov 2015, at 21:37, Makarius  wrote:
> 
> Larry,
> 
> I am forwarding this to isabelle-dev since more people might have seen it.
> 
> From a distance it looks to me like a problem of jdk-8u66, but Google does 
> not know anything about it yet.
> 
> The Isabelle2016 release is timed to happen shortly after the next jdk-8 
> release.  This gives that small garage firm called "Oracle" a chance to make 
> things work more smoothly.
> 
> 
>   Makarius
> 
> -- Forwarded message --
> Date: Tue, 3 Nov 2015 12:48:12 +
> Subject: CGSCreateKeyboardEvent
> 
> Saw this again today
> Larry
> 
> ~/isabelle/Repos/src/HOL: isabelle jedit -l Pure  Real.thy
> Nov  3 12:32:16  java[12869] : The function ‘CGSCreateKeyboardEvent’ 
> is obsolete and will be removed in an upcoming update. Unfortunately, this 
> application, or a library it uses, is using this obsolete function, and is 
> thereby contributing to an overall degradation of system performance. Please 
> use `CGSCreateKeyboardEventOfLength' instead.
> ~/isabelle/Repos/src/HOL:

___
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

[isabelle-dev] CGSCreateKeyboardEvent

[Makarius]

Larry,

I am forwarding this to isabelle-dev since more people might have seen it.

From a distance it looks to me like a problem of jdk-8u66, but Google does 

not know anything about it yet.

The Isabelle2016 release is timed to happen shortly after the next jdk-8 
release.  This gives that small garage firm called "Oracle" a chance to 
make things work more smoothly.



Makarius

-- Forwarded message --
Date: Tue, 3 Nov 2015 12:48:12 +
Subject: CGSCreateKeyboardEvent

Saw this again today
Larry

~/isabelle/Repos/src/HOL: isabelle jedit -l Pure  Real.thy
Nov  3 12:32:16  java[12869] : The function ‘CGSCreateKeyboardEvent’ is 
obsolete and will be removed in an upcoming update. Unfortunately, this application, 
or a library it uses, is using this obsolete function, and is thereby contributing to 
an overall degradation of system performance. Please use 
`CGSCreateKeyboardEventOfLength' instead.
~/isabelle/Repos/src/HOL:___
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev