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

On Thu, 2013-03-21 at 12:18 +0900, Christian Sternagel wrote:
> as documented here
> 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. ;)


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