Re: [isabelle] Isabelle2014-RC0 available for testing

On Tue, 8 Jul 2014, Joachim Breitner wrote:

 * No select-to-clipboard in the output window under Linux.

Can you say more explicitly what you mean? The output has its own very simple selection and copy mechanism, unlike the main text area. But this should not have changed wrt. the last release, IIRC.


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