[cvs-nhc98] patch applied (hat): Renamed hat-source -> hat-explore.

10 Oct 2006


      Fri Oct 15 11:03:14 PDT 2004  olaf
  * Renamed hat-source -> hat-explore.

    M ./configure -1 +1
    M ./src/hattools/HatExplore.hs -1 +1
    M ./src/hattools/Makefile -5 +5

[cvs-nhc98] patch applied (hat): Renamed hat-source -&gt; hat-explore.

Malcolm Wallace

[cvs-nhc98] patch applied (hat): Renamed hat-source -> hat-explore.