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.