olaf 2004/10/15 11:03:14 PDT Modified files: src/hattools HatExplore.hs Makefile Log: Renamed hat-source -> hat-explore. Revision Changes Path 1.16 +1 -1 hat/src/hattools/HatExplore.hs 1.71 +5 -5 hat/src/hattools/Makefile