Thu Mar 7 03:51:05 PST 2002 malcolm * Updates to hat tools. * rename hat-explore to hat-trail * in hat-detect + hat-observe: * command :explore is now :trail * change equation numbering from #n: to coloured n * highlight the option keywords when :set reports the current options * command :unset is removed, replaced by :set option [on|off] * in hat-trail: * option to show equations is now on by default * bugfix to ensure equations are indeed always shown when the mode is on * new command names :detect :observe :Observe :src :Src * in hat-observe: * `unique' mode renamed to `generalise' mode * `lines' option renamed to `group' * remove use of simple equation number as a command * new facility to observe by source reference (filename/line/col) rather than function name. Current name is :source. Better suggestions welcome, especially since hat-trail uses :observe/:Observe. M ./src/hattools/HatDetect.hs -52 +56 M ./src/hattools/HatObserve.hs -98 +169 M ./src/hattools/HatTrace.gc +4 M ./src/hattools/Makefile -13 +15 M ./src/hattools/hatinterface.c +2 M ./src/hattools/observeutils.c -1 +3