malcolm: Fri May 4 16:35:16 CEST 2001 Update of /usr/src/master/nhc/src/tracer/runtime In directory hinken:/tmp/cvs-serv28013/runtime Modified Files: fileformat.c Log Message: Allow for negative big Integers in the hat file format. * If the "size" byte is negative, then the whole number is negative. * There is no special encoding in the rest of the value - it is always a positive number, only the sign bit (in the size) can change. * Update hat-connect and hat-stack to print the minus sign.