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