thorsten: Fri Nov 2 17:21:05 CET 2001 Update of /usr/src/master/nhc/src/tracer/hat In directory hinken:/tmp/cvs-serv12652 Modified Files: Expressions.c Expressions.h HatTrace.gc Hatdetect.hs Hatobserve.hs Makefile detect.c detect.h hashtable.c hashtable.h hat-checki.c hat-detect.c hat-observe.c hatfile.h hatinterface.c hatinterface.h nodelist.c nodelist.h observe.c observe.h Log Message: Cleaned interfaces, mainly renamed some functions to have more precise names. Fixed bug in lazy EDT generation: keep EDT children in correct outermost-redex-first order.