malcolm: Wed May 29 14:34:34 CEST 2002 Update of /usr/src/master/nhc In directory hinken:/tmp/cvs-serv11887 Modified Files: configure Makefile.inc Makefile Log Message: 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.