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