malcolm: Thu Aug 15 13:16:50 CEST 2002 Update of /usr/src/master/nhc/docs/hat In directory hinken:/tmp/cvs-serv18356 Modified Files: publications.html Log Message: Add recent draft papers + Olaf's prettyprinting and type-debugging papers.