Setting math names (proof, lemma, etc) according to selected language....
Setting math names (proof, lemma, etc) according to selected language. Additional typo fixes and comment improvements.
Merge request reports
Activity
assigned to @novacto3
mentioned in issue #12 (closed)
mentioned in commit 266cabbf
Please register or sign in to reply