thorsten: Mon Sep 3 18:08:33 CEST 2001 Update of /usr/src/master/nhc/src/tracer/hat In directory hinken:/tmp/cvs-serv25319 Modified Files: HatTrace.gc HatTrie.hs Hatobserve.hs hatinterface.c hatinterface.h observe.c Log Message: 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.