Re: [isabelle] redirect tracing output to file in Jedit
On 23.01.2013 15:29, Walther Neuper wrote:
debugging a function definition with
'auto' is looping and the mass of data makes jEdit's Output panel unusable.
Probably the easiest solution is to use the upcoming Isabelle 2013,
which has a size limit for the traces in jEdit (and can dynamically
request a larger trace).
How can I redirect the output to a file?
(assuming that this is the best way to cope with the situation in jEdit)
I think with Isabelle 2012, your best bet is to click "Cancel" fast
enough in the System(?) view and then click on nothing in the editor buffer.
This archive was generated by a fusion of
Pipermail (Mailman edition) and