[cvs-nhc98] patch applied (hat): Updated documentation for Hat 2.04 and in particular added a user manual for hat-explore.

Tue May 3 10:49:39 PDT 2005 olaf * Updated documentation for Hat 2.04 and in particular added a user manual for hat-explore. M ./docs/copyright.html -3 +11 A ./docs/hatexploreuser.tex M ./docs/hatuser.tex -20 +18 M ./docs/index.html -25 +44 M ./docs/tutorial1.tex -11 +35 M ./src/hattools/HatExplore.hs -1 +1