Thu Mar 14 11:16:47 PST 2002 olaf * Portable tracing: corrected interruption of traced program by Control-C. In the previous version interruption sometimes led to corrupted trace files. The reason was that the interrupt happened in the middle of writing a node to file. Now the interruption is just marked in a variable and only creation of a SatB checks this variable and possibly aborts. An infinite computation will always enter functions and hence create SatBs. A side effect is that the parent of the interruption error message is always _|_. M ./src/hatlib/hat-c.c -1 +11