Here goes nothing..

[Alastair Reid]

> Which reminds me: would it be difficult to separate hugs into a dll
> and an executable which just calls (renamed) main in the dll? Vim
> permits calling functions in dlls. Or is there any portable way to
> send Hugs into the background and have access to its stdin and
> stdout (the obvious named pipes won't work in windows, afaik)?

The Hugs Server API (hugs98-Dec2001/docs/server.{tex,html}) is an
effort in this direction.  But it omits the command line stuff because
you clearly wouldn't want that in a server would you?  Ooops, your
examples show that you want just that.  Oh well...  Shouldn't be too
hard to add the command line interpreter to the API.

--
Alastair