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

[Malcolm Wallace]

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