Wed Jan 21 08:13:45 PST 2004 malcolm * New browser, hat-anim, by Tom Davie. This is still very much work in progress. Currently, it can only be started from within another tool. M ./src/hattools/CommonUI.hs -1 +4 M ./src/hattools/HatDetect.hs -2 +10 M ./src/hattools/HatObserve.hs -2 +11 M ./src/hattools/HatTrail.hs -2 +5 M ./src/hattools/Makefile -7 +13 A ./src/hattools/animnode.c A ./src/hattools/animnode.h A ./src/hattools/hat-anim.c A ./src/hattools/nodehash.c A ./src/hattools/nodehash.h A ./src/hattools/nodelist.c A ./src/hattools/nodelist.h A ./src/hattools/stack.c A ./src/hattools/stack.h