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 http://isabelle.in.tum.de/website-Isabelle2013-RC1/ 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.


	Makarius





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