Thu Oct 11 08:39:03 PDT 2001 malcolm * More fixes to hat tools to recognise top-level identifiers. M ./src/hattools/Expressions.c +6 M ./src/hattools/HatTrace.gc -1 +6 M ./src/hattools/hat-checki.c -1 +3 M ./src/hattools/hatfile.h +1 M ./src/hattools/observeutils.c -3 +6