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.
This archive was generated by a fusion of
Pipermail (Mailman edition) and