Merge branch 'release-1.12.1' into develop
Merge branch 'master' of github.com:CLLKazan/OntoMathPro into develop
Add English to top-level elements; fix the labels
Merge branch 'newlabels' into develop
Bump to 1.12.2 version
Merge branch 'release-1.12.2'