Re: [isabelle] Isabelle2015-RC0 available for testing

> Any problems, observations etc. can be discussed here on the mailing list.
> Quite often a change of behaviour is perceived as a problem, and sometimes
> it is one, sometimes not.  In any case, open discussion helps to figure out
> what is potentially confusing to users.

jEdit crashed (stopped responding to anything).
What I did:
Closed jEdit with unsaved changes.
jEdit asked what to do. I clicked "select all" followed by "save
selected". jEdit simply hung. Screenshot:

OS: Ubuntu 14.04.2 with Linux 3.13.0 and unity

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