Writing documentation

User documentation is written within the TeXmacs software. Low level source code documentation is handled by Doxygen, who produces html browsable information.

The Doxygen support for TeXmacs (available only from version provides you with two macros:

When writting documentation, please take care of the following conventions:

Permission is granted to copy, distribute and/or modify this document under the terms of the GNU General Public License. If you don't have this file, write to the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.