olaf 2004/08/04 12:23:57 PDT Modified files: src/hattrans AuxFixity.hs TraceTrans.hs Log: Modified hat-trans and hat-lib to write extended positions into trace file (a second integer for the end position after that of the begin position). Modified hat-tools to work with the new file format. File format has now a new version 2.04, separate from the Hat version. Note that the additional end line and column of a position are still ignored by all tools. Couldn't really test hat-detect and hat-anim, because they only seem to work in special cases (that has not changed through the modification). Revision Changes Path 1.12 +7 -7 hat/src/hattrans/AuxFixity.hs 1.69 +23 -18 hat/src/hattrans/TraceTrans.hs