The OMDoc distribution is a versioned set of language resources. There is one OMDoc distribution per released and upcoming version. The current released OMDoc distribution is OMDoc1.2.
The primary means of getting OMDoc distribution (and keeping up with it) is via the OMDoc Grup at GitHub, which supplies the released distributions OMDoc1.0, OMDoc1.1, OMDoc1.2 as release branches and the distribution for the upcoming OMDoc1.6 as the trunk. In the future we may have preview distributions for future releases as further repository branches.
The OMDoc distribution provides