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