>(a) the fancy new VED-based bold and underlined characters in the
>documentation are a **TOTAL** disaster when using Emacs.
The extra characters can be permanently removed from the on-line
documentation when Poplog is rebuilt with newpop - there's a section
in HELP NEWPOP about this (although the off-line documentation doesn't
say this and needs to be updated).
>...VED could be programmed to use it (via a socket package!),
For information, Poplog 15.0 will contain a sockets package. Unfortunately
it can't be provided as an add-on to 14.5 due to changes in the Poplog
kernel.
Julian
|