thorsten: Thu Jul 5 18:45:57 CEST 2001 Update of /usr/src/master/nhc/src/tracer/hat In directory hinken:/tmp/cvs-serv29740 Modified Files: HatTrace.gc HatTrie.hs Hatobserve.hs Makefile detect.c hat-detect.c Log Message: - Hatobserve made primary "observation" tool. hat-observe.c now obsolete. - Heavily improved interactive mode for Hatobserve. - First integration of Hatobserve and hat-detect: Algorithmic Debugging Sessions can immediately be started on an observed equation.