10 Oct
2006
10 Oct
'06
4:37 p.m.
Mon Sep 3 09:08:33 PDT 2001 thorsten * Hatobserve: show observation results immediately. Avoid showing less general equations, but only consider equations shown so far, instead of uniquing entire list before displaying any equation. M ./src/hattools/HatObserve.hs -52 +39 M ./src/hattools/HatTrace.gc -4 +20 M ./src/hattools/HatTrie.hs -43 +50 M ./src/hattools/Hatobserve.hs -52 +39 M ./src/hattools/hatinterface.c -3 +28 M ./src/hattools/hatinterface.h +3 M ./src/hattools/observeutils.c -30 +39