malcolm: Thu Feb 21 19:46:00 CET 2002 Update of /usr/src/master/nhc/src/hat/tools In directory hinken:/tmp/cvs-serv29218 Modified Files: HatExplore.hs LowLevel.hs SExp.hs utils.c Log Message: hat-explore fixes: * change the line marker -> to <- * add the command 'S' for definition source reference * change the treatment of cut-off lists of chars - now displayed as a string with a cut-off box as the last character