[cvs-nhc98] Updates to hat tools.

[Malcolm Wallace]

malcolm: Thu Mar  7 12:51:06 CET 2002

Update of /usr/src/master/nhc/src/hat/tools
In directory hinken:/tmp/cvs-serv20491

Modified Files:
	HatDetect.hs HatExplore.hs HatObserve.hs HatTrace.gc Makefile 
	hatinterface.c observe.c 
Log Message:
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.