From 0f1f2e2d4094cfee9f33903a6bfcc62d1b7ed137 Mon Sep 17 00:00:00 2001 From: mmcky Date: Tue, 11 Mar 2025 10:47:41 +1100 Subject: [PATCH 1/8] [translation] Add Chinese (CN) support --- sphinx_proof/translations/jsons/Algorithm.json | 2 +- sphinx_proof/translations/jsons/Assumption.json | 2 +- sphinx_proof/translations/jsons/Axiom.json | 2 +- sphinx_proof/translations/jsons/Conjecture.json | 2 +- sphinx_proof/translations/jsons/Criterion.json | 2 +- sphinx_proof/translations/jsons/Definition.json | 2 +- sphinx_proof/translations/jsons/Lemma.json | 2 +- sphinx_proof/translations/jsons/Observation.json | 2 +- sphinx_proof/translations/jsons/Property.json | 2 +- sphinx_proof/translations/jsons/Proposition.json | 2 +- sphinx_proof/translations/jsons/Remark.json | 3 +-- sphinx_proof/translations/jsons/Theorem.json | 2 +- 12 files changed, 12 insertions(+), 13 deletions(-) diff --git a/sphinx_proof/translations/jsons/Algorithm.json b/sphinx_proof/translations/jsons/Algorithm.json index aec3871..72d6ac4 100644 --- a/sphinx_proof/translations/jsons/Algorithm.json +++ b/sphinx_proof/translations/jsons/Algorithm.json @@ -1 +1 @@ -[{"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":"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":"cn","text":"算法"}] diff --git a/sphinx_proof/translations/jsons/Assumption.json b/sphinx_proof/translations/jsons/Assumption.json index 17e55b3..d2f4e3e 100644 --- a/sphinx_proof/translations/jsons/Assumption.json +++ b/sphinx_proof/translations/jsons/Assumption.json @@ -1 +1 @@ -[{"language":"English","symbol":"en","text":"Assumption"}] +[{"language":"English","symbol":"en","text":"Assumption"}, {"language":"Chinese","symbol":"cn","text":"假设"}] diff --git a/sphinx_proof/translations/jsons/Axiom.json b/sphinx_proof/translations/jsons/Axiom.json index a6c667a..ca9b4ca 100644 --- a/sphinx_proof/translations/jsons/Axiom.json +++ b/sphinx_proof/translations/jsons/Axiom.json @@ -1 +1 @@ -[{"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":"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":"cn","text":"公理"}] diff --git a/sphinx_proof/translations/jsons/Conjecture.json b/sphinx_proof/translations/jsons/Conjecture.json index 2756d89..1f2d79d 100644 --- a/sphinx_proof/translations/jsons/Conjecture.json +++ b/sphinx_proof/translations/jsons/Conjecture.json @@ -1 +1 @@ -[{"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":"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":"cn","text":"猜想"}] diff --git a/sphinx_proof/translations/jsons/Criterion.json b/sphinx_proof/translations/jsons/Criterion.json index e4bc089..07c21d8 100644 --- a/sphinx_proof/translations/jsons/Criterion.json +++ b/sphinx_proof/translations/jsons/Criterion.json @@ -1 +1 @@ -[{"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":"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":"cn","text":"准则"}] diff --git a/sphinx_proof/translations/jsons/Definition.json b/sphinx_proof/translations/jsons/Definition.json index c033dcb..cdd6696 100644 --- a/sphinx_proof/translations/jsons/Definition.json +++ b/sphinx_proof/translations/jsons/Definition.json @@ -1 +1 @@ -[{"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":"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":"cn","text":"定义"}] diff --git a/sphinx_proof/translations/jsons/Lemma.json b/sphinx_proof/translations/jsons/Lemma.json index 4746ea9..51d306b 100644 --- a/sphinx_proof/translations/jsons/Lemma.json +++ b/sphinx_proof/translations/jsons/Lemma.json @@ -1 +1 @@ -[{"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":"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":"cn","text":"引理"}] diff --git a/sphinx_proof/translations/jsons/Observation.json b/sphinx_proof/translations/jsons/Observation.json index 201ccb2..fd09000 100644 --- a/sphinx_proof/translations/jsons/Observation.json +++ b/sphinx_proof/translations/jsons/Observation.json @@ -1 +1 @@ -[{"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":"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":"cn","text":"观察"}] diff --git a/sphinx_proof/translations/jsons/Property.json b/sphinx_proof/translations/jsons/Property.json index 2543e61..a2a15d9 100644 --- a/sphinx_proof/translations/jsons/Property.json +++ b/sphinx_proof/translations/jsons/Property.json @@ -1 +1 @@ -[{"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":"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":"cn","text":"性质"}] diff --git a/sphinx_proof/translations/jsons/Proposition.json b/sphinx_proof/translations/jsons/Proposition.json index 153e152..ca331be 100644 --- a/sphinx_proof/translations/jsons/Proposition.json +++ b/sphinx_proof/translations/jsons/Proposition.json @@ -1 +1 @@ -[{"language":"English","symbol":"en","text":"Proposition"},{"language":"French","symbol":"fr","text":"Proposition"},{"language":"Italian","symbol":"it","text":"Proposizione"}] +[{"language":"English","symbol":"en","text":"Proposition"},{"language":"French","symbol":"fr","text":"Proposition"},{"language":"Italian","symbol":"it","text":"Proposizione"}, {"language":"Chinese","symbol":"cn","text":"命题"}] diff --git a/sphinx_proof/translations/jsons/Remark.json b/sphinx_proof/translations/jsons/Remark.json index fc89083..cdd0800 100644 --- a/sphinx_proof/translations/jsons/Remark.json +++ b/sphinx_proof/translations/jsons/Remark.json @@ -1,2 +1 @@ -[{"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":"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":"cn","text":"评注"}] diff --git a/sphinx_proof/translations/jsons/Theorem.json b/sphinx_proof/translations/jsons/Theorem.json index 1e7e49c..ecd5538 100644 --- a/sphinx_proof/translations/jsons/Theorem.json +++ b/sphinx_proof/translations/jsons/Theorem.json @@ -1 +1 @@ -[{"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":"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":"cn","text":"定理"}] From 90042a6fb54109f30136baa45b3555e96b931ba1 Mon Sep 17 00:00:00 2001 From: mmcky Date: Tue, 11 Mar 2025 10:48:04 +1100 Subject: [PATCH 2/8] [translation] Add Chinese (CN) support --- sphinx_proof/translations/_convert.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/sphinx_proof/translations/_convert.py b/sphinx_proof/translations/_convert.py index 8fc9928..dfe4463 100755 --- a/sphinx_proof/translations/_convert.py +++ b/sphinx_proof/translations/_convert.py @@ -34,7 +34,7 @@ def convert_json(folder=None): """ out_path.write_text(header) - with out_path.open("a") as f: + with out_path.open("a", encoding="utf8") as f: f.write("\n") f.write(f'msgid "{english}"\n') text = item["text"].replace('"', '\\"') From 7a6947e35460e596a8ed1e7771b4b3688941003a Mon Sep 17 00:00:00 2001 From: mmcky Date: Tue, 11 Mar 2025 11:18:18 +1100 Subject: [PATCH 3/8] adding locales --- .../translations/locales/cn/LC_MESSAGES/proof.mo | Bin 0 -> 682 bytes 1 file changed, 0 insertions(+), 0 deletions(-) create mode 100644 sphinx_proof/translations/locales/cn/LC_MESSAGES/proof.mo diff --git a/sphinx_proof/translations/locales/cn/LC_MESSAGES/proof.mo b/sphinx_proof/translations/locales/cn/LC_MESSAGES/proof.mo new file mode 100644 index 0000000000000000000000000000000000000000..3eebb30bf27789b5927e20d89095baf39f98b3f0 GIT binary patch literal 682 zcmYL_&uddb5XVPbZGGy&o_lz`>EYGJQ%T4n)CLME7LD!6!#3F@Yv0>_>~18vl>Ux_ zh$6u@6oh)H2T2d{BB+0gCtni5Kf>8$qyt|*JM$gp&AeYTlWoAbjhaOrpzfglqFgLo z0l0xoAw6UUc@3GTyg>d2<&69gc@z6IavHf!c?)?R^Y_RpWCz(po>6`M>ezoqEEBhg zn%E@n5L?7I#5VDi_z8)h7=_!*-Q@0YySTglhx-q1uUk}byHB7dQ8)r17gm)PwiZFo zn0gdjp(NxQLPfBoj<@yE~XUFpwd{nWjT2ZQd1ey2`j9dj-k&w)2MPd&$K|= Date: Tue, 11 Mar 2025 11:19:04 +1100 Subject: [PATCH 4/8] adjust remark translation --- sphinx_proof/translations/jsons/Remark.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/sphinx_proof/translations/jsons/Remark.json b/sphinx_proof/translations/jsons/Remark.json index cdd0800..ee59705 100644 --- a/sphinx_proof/translations/jsons/Remark.json +++ b/sphinx_proof/translations/jsons/Remark.json @@ -1 +1 @@ -[{"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":"cn","text":"评注"}] +[{"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":"cn","text":"注记"}] From 4ee2fc6ceabb95a526622a6cfc6ea7948e7b12a1 Mon Sep 17 00:00:00 2001 From: mmcky Date: Tue, 11 Mar 2025 11:19:21 +1100 Subject: [PATCH 5/8] update locales --- .../locales/cn/LC_MESSAGES/proof.mo | Bin 682 -> 682 bytes 1 file changed, 0 insertions(+), 0 deletions(-) diff --git a/sphinx_proof/translations/locales/cn/LC_MESSAGES/proof.mo b/sphinx_proof/translations/locales/cn/LC_MESSAGES/proof.mo index 3eebb30bf27789b5927e20d89095baf39f98b3f0..79eaf1a31a875e94742f7acc9c6c1e493d533e5f 100644 GIT binary patch delta 22 gcmV+x0O|j#1*!$GoB|H!v#98sy{}UcvBm-K^&m+86+OtP4Q^ From 328ba47d86818e44092adec4f8f49bb7cdb7d776 Mon Sep 17 00:00:00 2001 From: mmcky Date: Tue, 11 Mar 2025 11:29:33 +1100 Subject: [PATCH 6/8] revert from cn to zh_CN based on Sphinx docs --- sphinx_proof/translations/jsons/Algorithm.json | 2 +- sphinx_proof/translations/jsons/Assumption.json | 2 +- sphinx_proof/translations/jsons/Axiom.json | 2 +- sphinx_proof/translations/jsons/Conjecture.json | 2 +- sphinx_proof/translations/jsons/Criterion.json | 2 +- sphinx_proof/translations/jsons/Definition.json | 2 +- sphinx_proof/translations/jsons/Lemma.json | 2 +- sphinx_proof/translations/jsons/Observation.json | 2 +- sphinx_proof/translations/jsons/Property.json | 2 +- sphinx_proof/translations/jsons/Proposition.json | 2 +- sphinx_proof/translations/jsons/Remark.json | 2 +- sphinx_proof/translations/jsons/Theorem.json | 2 +- 12 files changed, 12 insertions(+), 12 deletions(-) diff --git a/sphinx_proof/translations/jsons/Algorithm.json b/sphinx_proof/translations/jsons/Algorithm.json index 72d6ac4..d08d1f9 100644 --- a/sphinx_proof/translations/jsons/Algorithm.json +++ b/sphinx_proof/translations/jsons/Algorithm.json @@ -1 +1 @@ -[{"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":"cn","text":"算法"}] +[{"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":"算法"}] diff --git a/sphinx_proof/translations/jsons/Assumption.json b/sphinx_proof/translations/jsons/Assumption.json index d2f4e3e..d6af401 100644 --- a/sphinx_proof/translations/jsons/Assumption.json +++ b/sphinx_proof/translations/jsons/Assumption.json @@ -1 +1 @@ -[{"language":"English","symbol":"en","text":"Assumption"}, {"language":"Chinese","symbol":"cn","text":"假设"}] +[{"language":"English","symbol":"en","text":"Assumption"}, {"language":"Chinese","symbol":"zh_CN","text":"假设"}] diff --git a/sphinx_proof/translations/jsons/Axiom.json b/sphinx_proof/translations/jsons/Axiom.json index ca9b4ca..0c456b7 100644 --- a/sphinx_proof/translations/jsons/Axiom.json +++ b/sphinx_proof/translations/jsons/Axiom.json @@ -1 +1 @@ -[{"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":"cn","text":"公理"}] +[{"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":"公理"}] diff --git a/sphinx_proof/translations/jsons/Conjecture.json b/sphinx_proof/translations/jsons/Conjecture.json index 1f2d79d..928fc14 100644 --- a/sphinx_proof/translations/jsons/Conjecture.json +++ b/sphinx_proof/translations/jsons/Conjecture.json @@ -1 +1 @@ -[{"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":"cn","text":"猜想"}] +[{"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":"猜想"}] diff --git a/sphinx_proof/translations/jsons/Criterion.json b/sphinx_proof/translations/jsons/Criterion.json index 07c21d8..132bb3f 100644 --- a/sphinx_proof/translations/jsons/Criterion.json +++ b/sphinx_proof/translations/jsons/Criterion.json @@ -1 +1 @@ -[{"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":"cn","text":"准则"}] +[{"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":"准则"}] diff --git a/sphinx_proof/translations/jsons/Definition.json b/sphinx_proof/translations/jsons/Definition.json index cdd6696..08546f1 100644 --- a/sphinx_proof/translations/jsons/Definition.json +++ b/sphinx_proof/translations/jsons/Definition.json @@ -1 +1 @@ -[{"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":"cn","text":"定义"}] +[{"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":"定义"}] diff --git a/sphinx_proof/translations/jsons/Lemma.json b/sphinx_proof/translations/jsons/Lemma.json index 51d306b..b40cd74 100644 --- a/sphinx_proof/translations/jsons/Lemma.json +++ b/sphinx_proof/translations/jsons/Lemma.json @@ -1 +1 @@ -[{"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":"cn","text":"引理"}] +[{"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":"引理"}] diff --git a/sphinx_proof/translations/jsons/Observation.json b/sphinx_proof/translations/jsons/Observation.json index fd09000..4516f97 100644 --- a/sphinx_proof/translations/jsons/Observation.json +++ b/sphinx_proof/translations/jsons/Observation.json @@ -1 +1 @@ -[{"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":"cn","text":"观察"}] +[{"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":"观察"}] diff --git a/sphinx_proof/translations/jsons/Property.json b/sphinx_proof/translations/jsons/Property.json index a2a15d9..ab7471e 100644 --- a/sphinx_proof/translations/jsons/Property.json +++ b/sphinx_proof/translations/jsons/Property.json @@ -1 +1 @@ -[{"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":"cn","text":"性质"}] +[{"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":"性质"}] diff --git a/sphinx_proof/translations/jsons/Proposition.json b/sphinx_proof/translations/jsons/Proposition.json index ca331be..5593003 100644 --- a/sphinx_proof/translations/jsons/Proposition.json +++ b/sphinx_proof/translations/jsons/Proposition.json @@ -1 +1 @@ -[{"language":"English","symbol":"en","text":"Proposition"},{"language":"French","symbol":"fr","text":"Proposition"},{"language":"Italian","symbol":"it","text":"Proposizione"}, {"language":"Chinese","symbol":"cn","text":"命题"}] +[{"language":"English","symbol":"en","text":"Proposition"},{"language":"French","symbol":"fr","text":"Proposition"},{"language":"Italian","symbol":"it","text":"Proposizione"}, {"language":"Chinese","symbol":"zh_CN","text":"命题"}] diff --git a/sphinx_proof/translations/jsons/Remark.json b/sphinx_proof/translations/jsons/Remark.json index ee59705..5cf6118 100644 --- a/sphinx_proof/translations/jsons/Remark.json +++ b/sphinx_proof/translations/jsons/Remark.json @@ -1 +1 @@ -[{"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":"cn","text":"注记"}] +[{"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":"注记"}] diff --git a/sphinx_proof/translations/jsons/Theorem.json b/sphinx_proof/translations/jsons/Theorem.json index ecd5538..9d98985 100644 --- a/sphinx_proof/translations/jsons/Theorem.json +++ b/sphinx_proof/translations/jsons/Theorem.json @@ -1 +1 @@ -[{"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":"cn","text":"定理"}] +[{"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":"定理"}] From 3333f76fdef8f21ab03b4fd1e706e9a2b0cafe0c Mon Sep 17 00:00:00 2001 From: mmcky Date: Tue, 11 Mar 2025 11:30:13 +1100 Subject: [PATCH 7/8] update locales --- .../locales/{cn => zh_CN}/LC_MESSAGES/proof.mo | Bin 682 -> 685 bytes 1 file changed, 0 insertions(+), 0 deletions(-) rename sphinx_proof/translations/locales/{cn => zh_CN}/LC_MESSAGES/proof.mo (70%) diff --git a/sphinx_proof/translations/locales/cn/LC_MESSAGES/proof.mo b/sphinx_proof/translations/locales/zh_CN/LC_MESSAGES/proof.mo similarity index 70% rename from sphinx_proof/translations/locales/cn/LC_MESSAGES/proof.mo rename to sphinx_proof/translations/locales/zh_CN/LC_MESSAGES/proof.mo index 79eaf1a31a875e94742f7acc9c6c1e493d533e5f..7128e187484fa50eede67913eece77ecf69ed6ce 100644 GIT binary patch delta 122 zcmZ3*x|Vf9OX@ZT28Kn93=C{QI+6)OCqU_RD4hqTOQCcPlx~L7T~K-=l%4^l=R@gb T8(-QnvQ}lpJNr%6WNHKeZR!tu delta 119 zcmZ3>x{7r|OX_9@28Kn93=C{QI*bWI$3p28D4h+Zi=cERlx~31?NGW8N>7E-bD;F% QjW6vOnUeD+>o7F}05-D@Qvd(} From cc1560cf2dd78c439520e32488274fe963c91c13 Mon Sep 17 00:00:00 2001 From: mmcky Date: Tue, 11 Mar 2025 11:35:09 +1100 Subject: [PATCH 8/8] update docs --- docs/source/index.md | 1 + docs/source/internationalization.md | 14 ++++++++++++++ 2 files changed, 15 insertions(+) create mode 100644 docs/source/internationalization.md diff --git a/docs/source/index.md b/docs/source/index.md index 988dccc..20916e4 100644 --- a/docs/source/index.md +++ b/docs/source/index.md @@ -6,6 +6,7 @@ install syntax options +Internationalization testing zreferences ``` diff --git a/docs/source/internationalization.md b/docs/source/internationalization.md new file mode 100644 index 0000000..0f2bfce --- /dev/null +++ b/docs/source/internationalization.md @@ -0,0 +1,14 @@ +# Internationalization + +This package supports the following languages specified in `conf.py` using the `language` option: + +- ar +- cs +- de +- es +- fr +- it +- ja +- nl +- ru +- zh_CN