Submitting patches for TeXmacs

You may contribute patches for TeXmacs using the patch manager on Savannah. In order to submit a patch, we recommend you to use the SVN version of TeXmacs. After checking out and modifying the source code of TeXmacs, cd into the src or the doc directory, and use the command

    svn diff > diffs

in order to obtain a patch ready to be submitted in the file diffs. When submitting your patch, don't forget to carefully select a category and to fill out a summary.