[cvs-nhc98] patch applied (hat): Bring back the " old" hat tools (i.e. which still work with the nhc98 -T

[Malcolm Wallace]

Wed May 29 05:28:47 PDT 2002  malcolm
  * Bring back the "old" hat tools (i.e. which still work with the nhc98 -T
  version of the transformation), in a separate directory.

    A ./src/old/oldtools/
    A ./src/old/oldtools/Expressions.c
    A ./src/old/oldtools/Expressions.h
    A ./src/old/oldtools/FunTable.c
    A ./src/old/oldtools/FunTable.h
    A ./src/old/oldtools/HatDetect.hs
    A ./src/old/oldtools/HatExpressionTree.hs
    A ./src/old/oldtools/HatObserve.hs
    A ./src/old/oldtools/HatTrace.gc
    A ./src/old/oldtools/HatTrail.hs
    A ./src/old/oldtools/HatTrie.hs
    A ./src/old/oldtools/HighlightStyle.hs
    A ./src/old/oldtools/LowLevel.hs
    A ./src/old/oldtools/Makefile
    A ./src/old/oldtools/Makefile.inc
    A ./src/old/oldtools/Navigable.hs
    A ./src/old/oldtools/NodeMatch.hs
    A ./src/old/oldtools/OldHatExplore.hs
    A ./src/old/oldtools/OldSExp.hs
    A ./src/old/oldtools/PrettyAssoc.hs
    A ./src/old/oldtools/PrettyExp.hs
    A ./src/old/oldtools/PrettyLib.hs
    A ./src/old/oldtools/PrettyLibHighlight.hs
    A ./src/old/oldtools/Run.hs
    A ./src/old/oldtools/SExp.hs
    A ./src/old/oldtools/SrcRefViewer.hs
    A ./src/old/oldtools/art.h
    A ./src/old/oldtools/browsercomms.c
    A ./src/old/oldtools/browsercomms.h
    A ./src/old/oldtools/detect.c
    A ./src/old/oldtools/detect.h
    A ./src/old/oldtools/hashtable.c
    A ./src/old/oldtools/hashtable.h
    A ./src/old/oldtools/hat-check.c
    A ./src/old/oldtools/hat-checki.c
    A ./src/old/oldtools/hat-connect.c
    A ./src/old/oldtools/hat-detect.c
    A ./src/old/oldtools/hat-names.c
    A ./src/old/oldtools/hat-observe.c
    A ./src/old/oldtools/hat-port.c
    A ./src/old/oldtools/hat-stack.c
    A ./src/old/oldtools/hatfile.h
    A ./src/old/oldtools/hatgeneral.c
    A ./src/old/oldtools/hatgeneral.h
    A ./src/old/oldtools/hatinterface.c
    A ./src/old/oldtools/hatinterface.h
    A ./src/old/oldtools/menu.c
    A ./src/old/oldtools/menu.h
    A ./src/old/oldtools/minisocklib.c
    A ./src/old/oldtools/nodecache.c
    A ./src/old/oldtools/nodecache.h
    A ./src/old/oldtools/nodelist.c
    A ./src/old/oldtools/nodelist.h
    A ./src/old/oldtools/observe.c
    A ./src/old/oldtools/observe.h
    A ./src/old/oldtools/utils.c
    A ./src/old/oldtools/utils.h