Re: [isabelle] Transfer Isabelle2011 Code to Isabelle2014



Yes of course, I can copy single warnings but how to copy all warnings
at once?
There seem to be no buffer/window which contains these information...

--Sven Schneider


On 02/23/2015 03:52 PM, Makarius wrote:
> On Fri, 20 Feb 2015, Sven Schneider wrote:
>
>> Remaining questions:
>> (*) In 2011 warnings were written to the response buffer. in
>> Isabelle2014/JEdit: is it possible to copy all these responses to a
>> certain file?
>
> The Isabelle/jEdit manual briefly mentions "copy" from "secondary
> windows" via the canonical keyboard shortcut C+c.  This refers to the
> "Output" window, as well as other popup or Info windows.
>
>
>     Makarius

Attachment: 0xF0E2AE90.asc
Description: application/pgp-keys



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