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.