olaf 2004/11/04 11:50:40 PST Modified files: src/hattools HatExplore.hs Log: Extended hat-explore: if the computation aborted with a run-time error, then hat-explore starts now by default at the reduction causing the error, not the reduction of main. Thus hat-explore covers hat-trail. Revision Changes Path 1.18 +11 -7 hat/src/hattools/HatExplore.hs