Re: [isabelle] Isabelle/jEdit: can anybody else reproduce
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 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 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?
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