Tue May 2 09:37:24 PDT 2006 tatd2 * Various fixes - now includes patched hat-delta and hat-detect; along with now working versions of pretty-hat and hat-anim M ./src/hatlib/Data/FiniteMap.hs +10 M ./src/hatlib/Data/Set.hs +11 M ./src/hattools/Detect.hs -24 +40 M ./src/hattools/EDT.hs -18 +26 M ./src/hattools/HatAnim.hs -174 +59 M ./src/hattools/HatDelta.hs -33 +34 M ./src/hattools/LowLevel.hs +2 M ./src/hattools/Makefile -2 +2 M ./src/hattools/NodeExp.hs -61 +120 M ./src/hattools/Pretty.hs -27 +31 M ./src/hattools/PrettyHat.hs -14 +31 M ./src/hattools/SExp.hs -19 +79 M ./src/hattools/Slice.hs -8 +5 M ./src/hattools/artutils.c +7 M ./src/hattools/artutils.h +1 M ./src/hattrans/HatTrans.hs -5 +5