
10 Oct
2006
10 Oct
'06
11:20 a.m.
Fri Aug 2 09:33:11 PDT 2002 malcolm * Remove the -remote cmdline argument from hat-observe. It is no longer necessary, since we now accept a complete pattern (quoted from the shell) as an argument. M ./src/hattools/HatObserve.hs -7 +4