Subversion is a version control system. The MLton project used Subversion to maintain its source code, but switched to Git on 20130308.

Here are some online Subversion resources.