Re: Here goes nothing..

Thanks for reporting this; now fixed.

--sigbjorn

Thanks for fixing; as usual, I'm impressed by this efficiency!-) Btw, is there a way to indicate end-of-input in Hugs? In typical shells, that would be CTRL-D, and makes things like the "cat >script" work at the prompt (and it doesn't end the shell if there is a nested process waiting for input). Claus