Wed May 29 05:34:34 PDT 2002 malcolm * Minor changes to the main build wrt the hat-tools: * remove hat-trail-in-java from the standard build; * add "old" versions of other tools with -T in the name, e.g. hat-observe-T; * a few Cygwin-related changes, mostly still commented out. M ./Makefile.inc -14 +22