malcolm: Wed May 1 19:28:07 CEST 2002 Update of /usr/src/master/nhc/src/hat/tools In directory hinken:/tmp/cvs-serv8474 Modified Files: HatObserve.hs Log Message: Fix bug where hat-observe started remotely from another tool did not display any equations.