Re: [isabelle] redirect tracing output to file in Jedit

On Thu, 24 Jan 2013, Walther Neuper wrote:

On 01/24/2013 09:31 AM, Lars Noschinski wrote:

Deleting the code will also delete the output. Tracing non-terminating simplifier runs is not what the 2012 version shines at, unfortunately. Thinks will be better in 2013 and there is currently a student working on a completely new tracing facility.

Looking forward to Isabelle2013, good luck for delivery !

You don't have to wait, but can start with right now.

There are unusually few incompatibilities wrt. Isabelle2012, and no new ones are anticipated stepping from the release candidates to the final release in mid-February.


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