olaf 2004/08/29 07:41:23 PDT Modified files: src/hattools HatSource.hs Log: Extended hat-source. Now shows equation and allows navigating through EDT with cursor keys. Does not find children of trusted reductions. Revision Changes Path 1.2 +260 -46 hat/src/hattools/HatSource.hs