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



On Thu, 2013-03-21 at 12:18 +0900, Christian Sternagel wrote:
> as documented here
> https://bitbucket.org/isabelle_project/isabelle-release/issue/6/jedit-no-input-from-keyboard
> I regularly experience an annoying issue with Isabelle/jEdit. [...]
> 
> Just out of curiosity: Is there anybody else who can reproduce this issue?

I experience a similar (if not the same) issue, also on Fedora 18. But
it is relatively infrequent (maybe once every few hours), so I didn't
investigate further. Maybe you just need to type more slowly. ;)

Best,
Tjark





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