Sat Mar 16 04:35:20 PST 2002 malcolm * 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.) A ./docs/tutorial1.hva M ./docs/tutorial1.tex -68 +70