logo       
Google Custom Search
    AddThis Social Bookmark Button
-->

patch applied (hat): Made EDTs work correctly with Constants, made pretty-h: msg#01358

Subject: patch applied (hat): Made EDTs work correctly with Constants, made pretty-hat able to show parent pointers if required.
Thu Nov  3 06:08:16 PST 2005  tatd2
  * Made EDTs work correctly with Constants, made pretty-hat able to show 
parent pointers if required.

    M ./src/hattools/Detect.hs -9 +32
    M ./src/hattools/EDT.hs -1 +2
    M ./src/hattools/HatDelta.hs -19 +1
    M ./src/hattools/HatDetect.hs -11 +1
    M ./src/hattools/Makefile -5 +5
    M ./src/hattools/NodeExp.hs -31 +83
    M ./src/hattools/Pretty.hs -8 +39
    M ./src/hattools/PrettyHat.hs +1


<Prev in Thread] Current Thread [Next in Thread>