Re: project 4 task 3

[Subbarao Kambhampati <rao@asu.edu>]

Aaa haa.. so you know why I said "short edited trace" ;-)
You should just take some stuff fromt he beginning and some from the
end of the trace so that the whole thing is not more than 1 page
(don't need to spend major time thinking about how to do it--just cut
everything starting 5th line of the trace to all but the last 10 lines 
of the trace). 

Rao




From: Gabriel.Ashe@asu.edu
Subject: project 4 task 3
Date: Mon, 24 Nov 2003 12:50:06 -0700 (MST)
Message-ID: <Pine.GSO.4.21.0311241246490.22474-100000@general3.asu.edu>

Gabriel.Ashe> Hello,
Gabriel.Ashe> 
Gabriel.Ashe> What exactly do you mean by a short edited trace of aux-theorem in task
Gabriel.Ashe> 3?  I was just wondering what information you want to be edited out of the
Gabriel.Ashe> trace, because I doubt you want the whole 24 pages that lisp spit out, right?
Gabriel.Ashe> 
Gabriel.Ashe> Thanks, 
Gabriel.Ashe> Gabriel Ashe
Gabriel.Ashe>