From 5d2921909af72c3877a3cf05b667b33379dfb689 Mon Sep 17 00:00:00 2001 From: Tomas Talasek Date: Fri, 4 Feb 2022 13:21:36 +0200 Subject: [PATCH 1/5] Added translation to Czech language --- sphinx_proof/translations/jsons/Algorithm.json | 2 +- sphinx_proof/translations/jsons/Axiom.json | 2 +- sphinx_proof/translations/jsons/Conjecture.json | 2 +- sphinx_proof/translations/jsons/Criterion.json | 3 ++- sphinx_proof/translations/jsons/Definition.json | 2 +- sphinx_proof/translations/jsons/Example.json | 3 ++- sphinx_proof/translations/jsons/Lemma.json | 2 +- sphinx_proof/translations/jsons/Observation.json | 3 ++- sphinx_proof/translations/jsons/Property.json | 3 ++- sphinx_proof/translations/jsons/Remark.json | 3 ++- sphinx_proof/translations/jsons/Theorem.json | 2 +- .../translations/locales/cs/LC_MESSAGES/proof.mo | Bin 0 -> 639 bytes 12 files changed, 16 insertions(+), 11 deletions(-) create mode 100644 sphinx_proof/translations/locales/cs/LC_MESSAGES/proof.mo diff --git a/sphinx_proof/translations/jsons/Algorithm.json b/sphinx_proof/translations/jsons/Algorithm.json index 75b5833..430124a 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":"English","symbol":"en","text":"Algorithm"},{"language":"French","symbol":"fr","text":"Algorithme"},{"language":"Czech","symbol":"cs","text":"Algoritmus"}] diff --git a/sphinx_proof/translations/jsons/Axiom.json b/sphinx_proof/translations/jsons/Axiom.json index 8159ad2..477c71d 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":"English","symbol":"en","text":"Axiom"},{"language":"French","symbol":"fr","text":"Axiome"},{"language":"Czech","symbol":"cs","text":"Axiom"}] diff --git a/sphinx_proof/translations/jsons/Conjecture.json b/sphinx_proof/translations/jsons/Conjecture.json index 12c2d9e..2756d89 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":"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"}] diff --git a/sphinx_proof/translations/jsons/Criterion.json b/sphinx_proof/translations/jsons/Criterion.json index aa9f523..36b877e 100644 --- a/sphinx_proof/translations/jsons/Criterion.json +++ b/sphinx_proof/translations/jsons/Criterion.json @@ -1 +1,2 @@ -[{"language":"English","symbol":"en","text":"Criterion"},{"language":"French","symbol":"fr","text":"Critère"}] +[{"language":"English","symbol":"en","text":"Criterion"},{"language":"French","symbol":"fr","text":"Critère"}, +{"language":"Czech","symbol":"cs","text":"Kritérium"}] diff --git a/sphinx_proof/translations/jsons/Definition.json b/sphinx_proof/translations/jsons/Definition.json index 9f0080c..c033dcb 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":"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"}] diff --git a/sphinx_proof/translations/jsons/Example.json b/sphinx_proof/translations/jsons/Example.json index 3d0529b..9281b53 100644 --- a/sphinx_proof/translations/jsons/Example.json +++ b/sphinx_proof/translations/jsons/Example.json @@ -1 +1,2 @@ -[{"language":"English","symbol":"en","text":"Example"},{"language":"French","symbol":"fr","text":"Exemple"}] +[{"language":"English","symbol":"en","text":"Example"},{"language":"French","symbol":"fr","text":"Exemple"}, +{"language":"Czech","symbol":"cs","text":"Příklad"}] diff --git a/sphinx_proof/translations/jsons/Lemma.json b/sphinx_proof/translations/jsons/Lemma.json index 4a78ae9..4746ea9 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":"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"}] diff --git a/sphinx_proof/translations/jsons/Observation.json b/sphinx_proof/translations/jsons/Observation.json index e146b5e..91edef9 100644 --- a/sphinx_proof/translations/jsons/Observation.json +++ b/sphinx_proof/translations/jsons/Observation.json @@ -1 +1,2 @@ -[{"language":"English","symbol":"en","text":"Observation"},{"language":"French","symbol":"fr","text":"Observation"}] +[{"language":"English","symbol":"en","text":"Observation"},{"language":"French","symbol":"fr","text":"Observation"}, +{"language":"Czech","symbol":"cs","text":"Pozorování"}] diff --git a/sphinx_proof/translations/jsons/Property.json b/sphinx_proof/translations/jsons/Property.json index 7ac24e3..036457e 100644 --- a/sphinx_proof/translations/jsons/Property.json +++ b/sphinx_proof/translations/jsons/Property.json @@ -1 +1,2 @@ -[{"language":"English","symbol":"en","text":"Property"},{"language":"French","symbol":"fr","text":"Propriété"}] +[{"language":"English","symbol":"en","text":"Property"},{"language":"French","symbol":"fr","text":"Propriété"}, +{"language":"Czech","symbol":"cs","text":"Vlastnost"}] diff --git a/sphinx_proof/translations/jsons/Remark.json b/sphinx_proof/translations/jsons/Remark.json index 8bee93b..fc89083 100644 --- a/sphinx_proof/translations/jsons/Remark.json +++ b/sphinx_proof/translations/jsons/Remark.json @@ -1 +1,2 @@ -[{"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":"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"}] diff --git a/sphinx_proof/translations/jsons/Theorem.json b/sphinx_proof/translations/jsons/Theorem.json index 253b076..1e7e49c 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":"Teorema"}] +[{"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"}] diff --git a/sphinx_proof/translations/locales/cs/LC_MESSAGES/proof.mo b/sphinx_proof/translations/locales/cs/LC_MESSAGES/proof.mo new file mode 100644 index 0000000000000000000000000000000000000000..41dca3dae6f719315cbe2da779419f79a9170a2e GIT binary patch literal 639 zcmY+A&raMh5XN1~pEhuSUO^(#nkbRaX9{SfnzGnkuJq7t(r_n!x?E3|r z1HUzT-mn5;`79<;u_ya+@cTIU9sD*9zT+j5yF?nw^qvKRHv*<8T_E zlp{^!1Y33x9d(a7Pg|SsHX>Xe6ousUvQ%jt)Hu8^3#q9UXCvvn3hmFQ2g%M;pOfSV z$|W7jY+utbjd#v;Nm=A&LwIawqJ))}A1RNj}qz14~zmhDxFSK9IB+g9{A z4O97M9Q)SL&2P%3_<(8Df1IvNGmcD&-tDjYIxl3u8As3lu+Co8S5#k%vqJhn)&~KZ I>MH}2|ItH^mH+?% literal 0 HcmV?d00001 From cfce89e2f7522a9d36224d34adc30d5a3d30a2b2 Mon Sep 17 00:00:00 2001 From: AakashGC Date: Thu, 7 Jul 2022 09:43:36 +1000 Subject: [PATCH 2/5] Json changes for pre-commit --- sphinx_proof/translations/jsons/Algorithm.json | 1 - 1 file changed, 1 deletion(-) diff --git a/sphinx_proof/translations/jsons/Algorithm.json b/sphinx_proof/translations/jsons/Algorithm.json index cf8a187..aec3871 100644 --- a/sphinx_proof/translations/jsons/Algorithm.json +++ b/sphinx_proof/translations/jsons/Algorithm.json @@ -1,2 +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"}] - From 66a237945bb2d9b9c7e02040f3b6347fbafaa32b Mon Sep 17 00:00:00 2001 From: AakashGC Date: Thu, 7 Jul 2022 09:44:38 +1000 Subject: [PATCH 3/5] Criterion json edit for pre-commit --- sphinx_proof/translations/jsons/Criterion.json | 1 - 1 file changed, 1 deletion(-) diff --git a/sphinx_proof/translations/jsons/Criterion.json b/sphinx_proof/translations/jsons/Criterion.json index 439a767..e4bc089 100644 --- a/sphinx_proof/translations/jsons/Criterion.json +++ b/sphinx_proof/translations/jsons/Criterion.json @@ -1,2 +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"}] - From 1c093047509f7b14555eabb01f798fdf875813eb Mon Sep 17 00:00:00 2001 From: AakashGC Date: Thu, 7 Jul 2022 09:48:17 +1000 Subject: [PATCH 4/5] Example JSON edit for pre-commit --- sphinx_proof/translations/jsons/Example.json | 1 - 1 file changed, 1 deletion(-) diff --git a/sphinx_proof/translations/jsons/Example.json b/sphinx_proof/translations/jsons/Example.json index ee70d67..e6b8fe7 100644 --- a/sphinx_proof/translations/jsons/Example.json +++ b/sphinx_proof/translations/jsons/Example.json @@ -1,2 +1 @@ [{"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"}] - From df32f91b138b9a8fd89a873183e029e96a1594e8 Mon Sep 17 00:00:00 2001 From: AakashGC Date: Thu, 7 Jul 2022 09:48:46 +1000 Subject: [PATCH 5/5] Observation JSON edit for pre-commit --- sphinx_proof/translations/jsons/Observation.json | 1 - 1 file changed, 1 deletion(-) diff --git a/sphinx_proof/translations/jsons/Observation.json b/sphinx_proof/translations/jsons/Observation.json index 5a21068..201ccb2 100644 --- a/sphinx_proof/translations/jsons/Observation.json +++ b/sphinx_proof/translations/jsons/Observation.json @@ -1,2 +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í"}] -