patch applied (hat): 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.
10 Oct
2006
10 Oct
'06
7:29 a.m.
Thu Nov 4 11:50:38 PST 2004 olaf * 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. M ./src/hattools/HatExplore.hs -7 +11
6800
Age (days ago)
6800
Last active (days ago)
0 comments
1 participants
participants (1)
-
Malcolm Wallace