[cvs-nhc98] patch applied (hat): Updates to hat tools.

[Malcolm Wallace]

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