[cvs-nhc98] patch applied (hat): Made hat-delta only jump ahead by 3 steps in the EDT -- this saves calculating the heuristic for nodes below this point, and speeds up the process for large programs.

Mon Oct 17 03:10:25 PDT 2005 tatd2 * Made hat-delta only jump ahead by 3 steps in the EDT -- this saves calculating the heuristic for nodes below this point, and speeds up the process for large programs. M ./src/hattools/EDT.hs -4 +13 M ./src/hattools/HatDelta.hs -1 +1