10 Oct
2006
10 Oct
'06
1:13 p.m.
Thu Feb 21 10:45:59 PST 2002 malcolm * 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 M ./src/hattools/LowLevel.hs +17 M ./src/hattools/SExp.hs -7 +19 M ./src/hattools/utils.c +82