
10 Oct
2006
10 Oct
'06
7:28 a.m.
Tue Aug 24 11:54:53 PDT 2004 olaf * Added hat-source as new experimental tool for combining hat-detect with source highlighting. Currently only highlights evaluated definition body of "main". Several small changes in other files to make hat-source. Also slightly improved handling of positions. M ./src/compiler98/MkSyntax.hs -2 +6 M ./src/hatlib/Hat/Hat.hs -30 +30 A ./src/hattools/HatExplore.hs M ./src/hattools/LowLevel.hs -1 +9 M ./src/hattools/Makefile -1 +11 M ./src/hattools/artutils.c +102 M ./src/hattools/artutils.h +1 M ./src/hattrans/AuxFixity.hs -2 +2 M ./src/hattrans/TraceTrans.hs -3 +3