Re: [isabelle] Isabelle/jEdit: can anybody else reproduce
I have a similar issue , that Makarius has indicated is an interaction between Xmonad and this version of the JDK. However, unlike Christian's problem mine is consistently reproducible. Interestingly I have had no issues with other Java apps on this JDK or with standalone jEdit, but this may just be coincidence.
Alfio Martini <alfio.martini at acm.org> wrote:
> That happens often with me, but I always thought it was W7´s fault :-)
>But I never tried to look more carefully into this. Besides, I wanted
> give people in the list a well deserved rest.
>On Thu, Mar 21, 2013 at 12:18 AM, Christian Sternagel
><c.sternagel at gmail.com
>> Dear all,
>> (I think I never mentioned this on isabelle-users before.)
>> as documented here
>> I regularly experience an annoying issue with Isabelle/jEdit. This is
>> the case for the official Isabelle2013 and so frequent that I can no
>> use jEdit for proper developments (or to be more precise, I have to
>> to a different window manager - that has a lot of other issues - to
>> Isabelle stuff).
>> Just out of curiosity: Is there anybody else who can reproduce this
The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.
This archive was generated by a fusion of
Pipermail (Mailman edition) and