[cvs-nhc98] patch applied (hat): Extended hat-source. Now shows equation and allows navigating through EDT with cursor keys.

10 Oct 2006


      Sun Aug 29 07:41:22 PDT 2004  olaf
  * Extended hat-source. Now shows equation and allows navigating through EDT with cursor keys.
  Does not find children of trusted reductions.

    M ./src/hattools/HatExplore.hs -45 +259

[cvs-nhc98] patch applied (hat): Extended hat-source. Now shows equation and allows navigating through EDT with cursor keys.

Malcolm Wallace