>> BTW, I think having a user choice of editor is much more important
>> than the html manual.
>>
>
> How do you imagine the use of external editor in combination with
> say xmaxima?
>
Sorry, I didn't notice your other post.
--
Vadim V. Zhytnikov
<vvzhy at mail.ru>
<vvzhy at netorn.ru>