Thu Nov 22 11:25:19 PST 2001 thorsten * Fixed bug: avoid division by zero in progress indicator (for very small trace fiFixed bug: show all equations resulting in _|_ in observational tool. M ./src/hattools/HatObserve.hs -2 +3 M ./src/hattools/HatTrace.gc -2 +8 M ./src/hattools/HatTrie.hs -3 +5 M ./src/hattools/Hatobserve.hs -2 +3 M ./src/hattools/hatinterface.c -1 +1