olaf: Thu Oct 18 14:36:45 CEST 2001 Update of /usr/src/master/nhc/include In directory hinken:/tmp/cvs-serv9566/include Modified Files: Hat.hi Log Message: Add toplevel ids, data constructors and version to portable transformation. The resulting traces can be used with the most recent tools. However, hat-trail doesn't like a trace of a program aborting with a pattern match error.