olaf: Tue Apr 16 18:00:23 CEST 2002 Update of /usr/src/master/nhc/src/hat/lib In directory hinken:/tmp/cvs-serv26371/src/hat/lib Modified Files: hat.c Log Message: Enabled interruption of computation in tracing with new file format. The header marks interrution as decribed in Memo 31. Interruption can only happen when a reduction or a Forward node is entered. So a trusted or foreign computation cannot be interrupted.