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.


	Makarius





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