From MathWeb

Subversion is a version management system.

Text/binary distinction

Subversion uses a primitive heuristics for the MIME types.

Problems with the OMDoc MIME type

Tools

• locutor is an improved command-line client for Subversion that will be extended to a complete management-of-change solution for structured documents.
• Svnmerge.py is a tool for merging changes between branches.

Resources

• Book
• homepage