Re: [isabelle] Isabelle/jEdit: can anybody else reproduce

Dear Christian,

  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 to
  give people in the list a well deserved rest.


On Thu, Mar 21, 2013 at 12:18 AM, Christian Sternagel <c.sternagel at
> wrote:

> Dear all,
> (I think I never mentioned this on isabelle-users before.)
> as documented here
> release/issue/6/jedit-no-**input-from-keyboard<>
> I regularly experience an annoying issue with Isabelle/jEdit. This is also
> the case for the official Isabelle2013 and so frequent that I can no longer
> use jEdit for proper developments (or to be more precise, I have to switch
> to a different window manager - that has a lot of other issues - to do
> Isabelle stuff).
> Just out of curiosity: Is there anybody else who can reproduce this issue?
> cheers
> chris

Alfio Ricardo Martini
PhD in Computer Science (TU Berlin)
Associate Professor at Faculty of Informatics (PUCRS)
Coordenador do Curso de Ciência da Computação
Av. Ipiranga, 6681 - Prédio 32 - Faculdade de Informática
90619-900 -Porto Alegre - RS - Brasil

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.