TeXmacs manual
Use can obtain a user manual for TeXmacs by downloading the package and looking at the dvi file
doc/dvi/texmacs.dvi
The file also contains help about the source and
information about our plans for future modifications.
Alternatively, you can consult the manual by running
texmacs -x
Actually, this command is equivalent to
xdvi $TEXMACS_PATH/doc/dvi/texmacs &.
In the future, we intend to put the user manual on the web.