Re: [isabelle] Transfer Isabelle2011 Code to Isabelle2014
On Fri, 20 Feb 2015, Sven Schneider wrote:
(*) In 2011 warnings were written to the response buffer. in
Isabelle2014/JEdit: is it possible to copy all these responses to a
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