Setting math names (proof, lemma, etc) according to selected language....
Compare changes
Files
2+ 19
− 5
@@ -9,7 +9,7 @@
@@ -19,7 +19,7 @@
@@ -83,7 +83,7 @@
@@ -298,7 +298,7 @@
@@ -347,7 +347,7 @@
@@ -458,6 +458,20 @@
Setting math names (proof, lemma, etc) according to selected language. Additional typo fixes and comment improvements.