You wrote:
> Some time ago I wrote some cgi script in pop11 (compiled) which
> converted ved help files into simple html.
> See http://www.poplog.cs.reading.ac.uk/poplog/
>
Is there any chance you (or someone else) will be able to install a
converted version of this more up to date documentation tree
http://www.cs.bham.ac.uk/research/projects/poplog/docs/
About 26 Mbytes
Tar file here:
http://www.cs.bham.ac.uk/research/projects/poplog/docs.tar.gz
About 6 MBytes
Thanks.
Aaron