malcolm: Wed May 29 14:28:47 CEST 2002 Update of /usr/src/master/nhc/src/hat/oldtools In directory hinken:/tmp/cvs-serv11806/oldtools Added Files: Expressions.c Expressions.h FunTable.c FunTable.h HatDetect.hs HatExpressionTree.hs HatObserve.hs HatTrace.gc HatTrail.hs HatTrie.hs HighlightStyle.hs LowLevel.hs Makefile Makefile.inc Navigable.hs NodeMatch.hs OldHatExplore.hs OldSExp.hs PrettyAssoc.hs PrettyExp.hs PrettyLib.hs PrettyLibHighlight.hs Run.hs SExp.hs SrcRefViewer.hs art.h browsercomms.c browsercomms.h detect.c detect.h hashtable.c hashtable.h hat-check.c hat-checki.c hat-connect.c hat-detect.c hat-names.c hat-observe.c hat-port.c hat-stack.c hatfile.h hatgeneral.c hatgeneral.h hatinterface.c hatinterface.h menu.c menu.h minisocklib.c nodecache.c nodecache.h nodelist.c nodelist.h observe.c observe.h utils.c utils.h Log Message: Bring back the "old" hat tools (i.e. which still work with the nhc98 -T version of the transformation), in a separate directory.