malcolm: Sat Mar 16 13:35:21 CET 2002 Update of /usr/src/master/nhc/docs/hat In directory hinken:/tmp/cvs-serv14146 Modified Files: tutorial1.tex Added Files: tutorial1.hva Log Message: Make some small changes for an HTML version of the Hat tutorial. (Macro file tutorial1.hva is used by HeVeA to convert highlighting into colours for HTML.)