[translation] Maintenance and New Languages (#138)

mmcky · web-flow · commit 062f0c454eaa · 2025-03-11T13:12:59.000+11:00
* re-order json files * migrate dutch translations from #120 * migrate translations from #127 * migrate translations from #138 * add support for corollary * enable translation of title * add note to internationalization page
diff --git a/docs/source/internationalization.md b/docs/source/internationalization.md
@@ -12,3 +12,7 @@ This package supports the following languages specified in `conf.py` using the
 - nl
 - ru
 - zh_CN
+
+```{note} Work in progress
+Not all languages listed above are support across all admonition types
+```
diff --git a/sphinx_proof/domain.py b/sphinx_proof/domain.py
@@ -19,6 +19,7 @@
 from sphinx.roles import XRefRole
 from sphinx.util.nodes import make_refnode
 from sphinx.util import logging
+from sphinx.locale import get_translation
 from docutils import nodes
 from .directive import ProofDirective
 from .proof_type import PROOF_TYPES
@@ -27,6 +28,10 @@
 logger = logging.getLogger(__name__)
 
 
+MESSAGE_CATALOG_NAME = "proof"
+translate = get_translation(MESSAGE_CATALOG_NAME)
+
+
 class ProofIndex(Index):
 
     name = "prf"
@@ -156,7 +161,7 @@ def resolve_xref(
                     number = ".".join(
                         map(str, env.toc_fignumbers[todocname][typ][target])
                     )
-                title = nodes.Text(f"{match['type'].title()} {number}")
+                title = nodes.Text(f"{translate(match['type'].title())} {number}")
             # builder, fromdocname, todocname, targetid, child, title=None
             return make_refnode(builder, fromdocname, todocname, target, title)
         else:
diff --git a/sphinx_proof/translations/jsons/Algorithm.json b/sphinx_proof/translations/jsons/Algorithm.json
@@ -1 +1,10 @@
-[{"language":"English","symbol":"en","text":"Algorithm"},{"language":"French","symbol":"fr","text":"Algorithme"},{"language":"Italian","symbol":"it","text":"Algoritmo"},{"language":"Czech","symbol":"cs","text":"Algoritmus"},{"language":"Chinese","symbol":"zh_CN","text":"算法"}]
+[
+    {"language":"English","symbol":"en","text":"Algorithm"},
+    {"language":"Chinese","symbol":"zh_CN","text":"算法"},
+    {"language":"Czech","symbol":"cs","text":"Algoritmus"},
+    {"language":"Dutch","symbol":"nl","text":"Algoritme"},
+    {"language":"French","symbol":"fr","text":"Algorithme"},
+    {"language":"German","symbol":"de","text":"Algorithmus"},
+    {"language":"Italian","symbol":"it","text":"Algoritmo"},
+    {"language":"Spanish","symbol":"es","text":"Algoritmo"}
+]
diff --git a/sphinx_proof/translations/jsons/Assumption.json b/sphinx_proof/translations/jsons/Assumption.json
@@ -1 +1,7 @@
-[{"language":"English","symbol":"en","text":"Assumption"}, {"language":"Chinese","symbol":"zh_CN","text":"假设"}]
+[
+    {"language":"English","symbol":"en","text":"Assumption"},
+    {"language":"Chinese","symbol":"zh_CN","text":"假设"},
+    {"language":"Dutch","symbol":"nl","text":"Aanname"},
+    {"language":"German","symbol":"de","text":"Annahme"},
+    {"language":"Spanish", "symbol":"es","text":"Supuesto"}
+]
diff --git a/sphinx_proof/translations/jsons/Axiom.json b/sphinx_proof/translations/jsons/Axiom.json
@@ -1 +1,10 @@
-[{"language":"English","symbol":"en","text":"Axiom"},{"language":"French","symbol":"fr","text":"Axiome"},{"language":"Italian","symbol":"it","text":"Assioma"},{"language":"Czech","symbol":"cs","text":"Axiom"}, {"language":"Chinese","symbol":"zh_CN","text":"公理"}]
+[
+    {"language":"English","symbol":"en","text":"Axiom"},
+    {"language":"Chinese","symbol":"zh_CN","text":"公理"},
+    {"language":"Czech","symbol":"cs","text":"Axiom"},
+    {"language":"Dutch","symbol":"nl","text":"Axioma"},
+    {"language":"French","symbol":"fr","text":"Axiome"},
+    {"language":"German","symbol":"de","text":"Axiom"},
+    {"language":"Italian","symbol":"it","text":"Assioma"},
+    {"language":"Spanish","symbol":"es","text":"Axioma"}
+]
diff --git a/sphinx_proof/translations/jsons/Conjecture.json b/sphinx_proof/translations/jsons/Conjecture.json
@@ -1 +1,13 @@
-[{"language":"English","symbol":"en","text":"Conjecture"},{"language":"Arabic","symbol":"ar","text":"تخمين"},{"language":"Dutch","symbol":"nl","text":"Vermoeden"},{"language":"French","symbol":"fr","text":"Conjecture"},{"language":"German","symbol":"de","text":"Vermutung"},{"language":"Italian","symbol":"it","text":"Congetturare"},{"language":"Japanese","symbol":"ja","text":"推測"},{"language":"Russian","symbol":"ru","text":"Гипотеза"},{"language":"Spanish","symbol":"es","text":"Conjetura"},{"language":"Czech","symbol":"cs","text":"Domněnka"}, {"language":"Chinese","symbol":"zh_CN","text":"猜想"}]
+[
+    {"language":"English","symbol":"en","text":"Conjecture"},
+    {"language":"Arabic","symbol":"ar","text":"تخمين"},
+    {"language":"Chinese","symbol":"zh_CN","text":"猜想"},
+    {"language":"Czech","symbol":"cs","text":"Domněnka"},
+    {"language":"Dutch","symbol":"nl","text":"Vermoeden"},
+    {"language":"French","symbol":"fr","text":"Conjecture"},
+    {"language":"German","symbol":"de","text":"Vermutung"},
+    {"language":"Italian","symbol":"it","text":"Congetturare"},
+    {"language":"Japanese","symbol":"ja","text":"推測"},
+    {"language":"Russian","symbol":"ru","text":"Гипотеза"},
+    {"language":"Spanish","symbol":"es","text":"Conjetura"}
+]
diff --git a/sphinx_proof/translations/jsons/Corollary.json b/sphinx_proof/translations/jsons/Corollary.json
@@ -0,0 +1,4 @@
+[
+    {"language":"English","symbol":"en","text":"Corollary"},
+    {"language":"German","symbol":"de","text":"Korollar"}
+]
diff --git a/sphinx_proof/translations/jsons/Criterion.json b/sphinx_proof/translations/jsons/Criterion.json
@@ -1 +1,10 @@
-[{"language":"English","symbol":"en","text":"Criterion"},{"language":"French","symbol":"fr","text":"Critère"},{"language":"Italian","symbol":"it","text":"Criterio"},{"language":"Czech","symbol":"cs","text":"Kritérium"}, {"language":"Chinese","symbol":"zh_CN","text":"准则"}]
+[
+    {"language":"English","symbol":"en","text":"Criterion"},
+    {"language":"Chinese","symbol":"zh_CN","text":"准则"},
+    {"language":"Czech","symbol":"cs","text":"Kritérium"},
+    {"language":"Dutch","symbol":"nl","text":"Criterium"},
+    {"language":"French","symbol":"fr","text":"Critère"},
+    {"language":"German","symbol":"de","text":"Kriterium"},
+    {"language":"Italian","symbol":"it","text":"Criterio"},
+    {"language":"Spanish","symbol":"es","text":"Criterio"}
+]
diff --git a/sphinx_proof/translations/jsons/Definition.json b/sphinx_proof/translations/jsons/Definition.json
@@ -1 +1,13 @@
-[{"language":"English","symbol":"en","text":"Definition"},{"language":"Arabic","symbol":"ar","text":"تعريف"},{"language":"Dutch","symbol":"nl","text":"Definitie"},{"language":"French","symbol":"fr","text":"Définition"},{"language":"German","symbol":"de","text":"Definition"},{"language":"Italian","symbol":"it","text":"Definizione"},{"language":"Japanese","symbol":"ja","text":"意味"},{"language":"Russian","symbol":"ru","text":"Определение"},{"language":"Spanish","symbol":"es","text":"Definición"},{"language":"Czech","symbol":"cs","text":"Definice"}, {"language":"Chinese","symbol":"zh_CN","text":"定义"}]
+[
+    {"language":"English","symbol":"en","text":"Definition"},
+    {"language":"Arabic","symbol":"ar","text":"تعريف"},
+    {"language":"Czech","symbol":"cs","text":"Definice"},
+    {"language":"Chinese","symbol":"zh_CN","text":"定义"},
+    {"language":"Dutch","symbol":"nl","text":"Definitie"},
+    {"language":"French","symbol":"fr","text":"Définition"},
+    {"language":"German","symbol":"de","text":"Definition"},
+    {"language":"Italian","symbol":"it","text":"Definizione"},
+    {"language":"Japanese","symbol":"ja","text":"意味"},
+    {"language":"Russian","symbol":"ru","text":"Определение"},
+    {"language":"Spanish","symbol":"es","text":"Definición"}
+]
diff --git a/sphinx_proof/translations/jsons/Example.json b/sphinx_proof/translations/jsons/Example.json
@@ -1 +1,9 @@
-[{"language":"English","symbol":"en","text":"Example"},{"language":"French","symbol":"fr","text":"Exemple"},{"language":"Italian","symbol":"it","text":"Esempio"},{"language":"Czech","symbol":"cs","text":"Příklad"}]
+[
+    {"language":"English","symbol":"en","text":"Example"},
+    {"language":"Czech","symbol":"cs","text":"Příklad"},
+    {"language":"Dutch","symbol":"nl","text":"Voorbeeld"},
+    {"language":"French","symbol":"fr","text":"Exemple"},
+    {"language":"German","symbol":"de","text":"Beispiel"},
+    {"language":"Italian","symbol":"it","text":"Esempio"},
+    {"language":"Spanish","symbol":"es","text":"Ejemplo"}
+]
diff --git a/sphinx_proof/translations/jsons/Lemma.json b/sphinx_proof/translations/jsons/Lemma.json
@@ -1 +1,13 @@
-[{"language":"English","symbol":"en","text":"Lemma"},{"language":"Arabic","symbol":"ar","text":"ليما"},{"language":"Dutch","symbol":"nl","text":"Lemma"},{"language":"French","symbol":"fr","text":"Lemme"},{"language":"German","symbol":"de","text":"Lemma"},{"language":"Italian","symbol":"it","text":"Lemma"},{"language":"Japanese","symbol":"ja","text":"補題"},{"language":"Russian","symbol":"ru","text":"Лемма"},{"language":"Spanish","symbol":"es","text":"Lema"},{"language":"Czech","symbol":"cs","text":"Lemma"}, {"language":"Chinese","symbol":"zh_CN","text":"引理"}]
+[
+    {"language":"English","symbol":"en","text":"Lemma"},
+    {"language":"Arabic","symbol":"ar","text":"ليما"},
+    {"language":"Chinese","symbol":"zh_CN","text":"引理"},
+    {"language":"Czech","symbol":"cs","text":"Lemma"},
+    {"language":"Dutch","symbol":"nl","text":"Lemma"},
+    {"language":"French","symbol":"fr","text":"Lemme"},
+    {"language":"German","symbol":"de","text":"Lemma"},
+    {"language":"Italian","symbol":"it","text":"Lemma"},
+    {"language":"Japanese","symbol":"ja","text":"補題"},
+    {"language":"Russian","symbol":"ru","text":"Лемма"},
+    {"language":"Spanish","symbol":"es","text":"Lema"}
+]
diff --git a/sphinx_proof/translations/jsons/Observation.json b/sphinx_proof/translations/jsons/Observation.json
@@ -1 +1,10 @@
-[{"language":"English","symbol":"en","text":"Observation"},{"language":"French","symbol":"fr","text":"Observation"},{"language":"Italian","symbol":"it","text":"Osservazione"},{"language":"Czech","symbol":"cs","text":"Pozorování"}, {"language":"Chinese","symbol":"zh_CN","text":"观察"}]
+[
+    {"language":"English","symbol":"en","text":"Observation"},
+    {"language":"Chinese","symbol":"zh_CN","text":"观察"},
+    {"language":"Czech","symbol":"cs","text":"Pozorování"},
+    {"language":"Dutch","symbol":"nl","text":"Observatie"},
+    {"language":"French","symbol":"fr","text":"Observation"},
+    {"language":"German","symbol":"de","text":"Beobachtung"},
+    {"language":"Italian","symbol":"it","text":"Osservazione"},
+    {"language":"Spanish","symbol":"es","text":"Observación"}
+]
diff --git a/sphinx_proof/translations/jsons/Property.json b/sphinx_proof/translations/jsons/Property.json
@@ -1 +1,10 @@
-[{"language":"English","symbol":"en","text":"Property"},{"language":"French","symbol":"fr","text":"Propriété"},{"language":"Italian","symbol":"it","text":"Proprietà"},{"language":"Czech","symbol":"cs","text":"Vlastnost"}, {"language":"Chinese","symbol":"zh_CN","text":"性质"}]
+[
+    {"language":"English","symbol":"en","text":"Property"},
+    {"language":"Chinese","symbol":"zh_CN","text":"性质"},
+    {"language":"Czech","symbol":"cs","text":"Vlastnost"},
+    {"language":"Dutch","symbol":"nl","text":"Eigenschap"},
+    {"language":"French","symbol":"fr","text":"Propriété"},
+    {"language":"German","symbol":"de","text":"Eigenschaft"},
+    {"language":"Italian","symbol":"it","text":"Proprietà"},
+    {"language":"Spanish","symbol":"es","text":"Propiedad"}
+]
diff --git a/sphinx_proof/translations/jsons/Proposition.json b/sphinx_proof/translations/jsons/Proposition.json
@@ -1 +1,9 @@
-[{"language":"English","symbol":"en","text":"Proposition"},{"language":"French","symbol":"fr","text":"Proposition"},{"language":"Italian","symbol":"it","text":"Proposizione"}, {"language":"Chinese","symbol":"zh_CN","text":"命题"}]
+[
+    {"language":"English","symbol":"en","text":"Proposition"},
+    {"language":"Chinese","symbol":"zh_CN","text":"命题"},
+    {"language":"Dutch","symbol":"nl","text":"Propositie"},
+    {"language":"French","symbol":"fr","text":"Proposition"},
+    {"language":"German","symbol":"de","text":"Proposition"},
+    {"language":"Italian","symbol":"it","text":"Proposizione"},
+    {"language":"Spanish","symbol":"es","text":"Proposición"}
+]
diff --git a/sphinx_proof/translations/jsons/Remark.json b/sphinx_proof/translations/jsons/Remark.json
@@ -1 +1,13 @@
-[{"language":"English","symbol":"en","text":"Remark"},{"language":"Arabic","symbol":"ar","text":"ملاحظة"},{"language":"Dutch","symbol":"nl","text":"Opmerking"},{"language":"French","symbol":"fr","text":"Remarque"},{"language":"German","symbol":"de","text":"Anmerkung"},{"language":"Italian","symbol":"it","text":"osservazione"},{"language":"Japanese","symbol":"ja","text":"述べる"},{"language":"Russian","symbol":"ru","text":"Замечание"},{"language":"Spanish","symbol":"es","text":"Observación"},{"language":"Czech","symbol":"cs","text":"Poznámka"},{"language":"Chinese","symbol":"zh_CN","text":"注记"}]
+[
+    {"language":"English","symbol":"en","text":"Remark"},
+    {"language":"Arabic","symbol":"ar","text":"ملاحظة"},
+    {"language":"Chinese","symbol":"zh_CN","text":"注记"},
+    {"language":"Czech","symbol":"cs","text":"Poznámka"},
+    {"language":"Dutch","symbol":"nl","text":"Opmerking"},
+    {"language":"French","symbol":"fr","text":"Remarque"},
+    {"language":"German","symbol":"de","text":"Bemerkung"},
+    {"language":"Italian","symbol":"it","text":"osservazione"},
+    {"language":"Japanese","symbol":"ja","text":"述べる"},
+    {"language":"Russian","symbol":"ru","text":"Замечание"},
+    {"language":"Spanish","symbol":"es","text":"Observación"}
+]
diff --git a/sphinx_proof/translations/jsons/Theorem.json b/sphinx_proof/translations/jsons/Theorem.json
@@ -1 +1,12 @@
-[{"language":"English","symbol":"en","text":"Theorem"},{"language":"Arabic","symbol":"ar","text":"نظرية"},{"language":"Dutch","symbol":"nl","text":"Stelling"},{"language":"French","symbol":"fr","text":"Théorème"},{"language":"German","symbol":"de","text":"Satz"},{"language":"Italian","symbol":"it","text":"Teorema"},{"language":"Japanese","symbol":"ja","text":"定理"},{"language":"Russian","symbol":"ru","text":"Теорема"},{"language":"Spanish","symbol":"es","text":"Věta"},{"language":"Chinese","symbol":"zh_CN","text":"定理"}]
+[
+    {"language":"English","symbol":"en","text":"Theorem"},
+    {"language":"Arabic","symbol":"ar","text":"نظرية"},
+    {"language":"Chinese","symbol":"zh_CN","text":"定理"},
+    {"language":"Dutch","symbol":"nl","text":"Stelling"},
+    {"language":"French","symbol":"fr","text":"Théorème"},
+    {"language":"German","symbol":"de","text":"Satz"},
+    {"language":"Italian","symbol":"it","text":"Teorema"},
+    {"language":"Japanese","symbol":"ja","text":"定理"},
+    {"language":"Russian","symbol":"ru","text":"Теорема"},
+    {"language":"Spanish","symbol":"es","text":"Teorema"}
+]
diff --git a/sphinx_proof/translations/locales/de/LC_MESSAGES/proof.mo b/sphinx_proof/translations/locales/de/LC_MESSAGES/proof.mo
diff --git a/sphinx_proof/translations/locales/es/LC_MESSAGES/proof.mo b/sphinx_proof/translations/locales/es/LC_MESSAGES/proof.mo
diff --git a/sphinx_proof/translations/locales/nl/LC_MESSAGES/proof.mo b/sphinx_proof/translations/locales/nl/LC_MESSAGES/proof.mo

-Original file line number
+Diff line change
@@ @@ -0,0 +1,4 @@ @@
 +[
 +    {"language":"English","symbol":"en","text":"Corollary"},
 +    {"language":"German","symbol":"de","text":"Korollar"}
 +]