Re: [isabelle] Transfer Isabelle2011 Code to Isabelle2014

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.


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