From 90052ecd63136f3321f7ff8c733d3daffe01c1a7 Mon Sep 17 00:00:00 2001
From: Peter Bruin
Date: Wed, 2 Oct 2024 09:51:17 +0200
Subject: [PATCH 1/2] add missing translations for Dutch
---
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/Criterion.json | 2 +-
sphinx_proof/translations/jsons/Example.json | 2 +-
.../translations/jsons/Observation.json | 2 +-
sphinx_proof/translations/jsons/Proof.json | 1 +
sphinx_proof/translations/jsons/Property.json | 2 +-
.../translations/jsons/Proposition.json | 2 +-
sphinx_proof/translations/jsons/Remark.json | 3 +--
.../locales/nl/LC_MESSAGES/proof.mo | Bin 437 -> 798 bytes
11 files changed, 10 insertions(+), 10 deletions(-)
create mode 100644 sphinx_proof/translations/jsons/Proof.json
diff --git a/sphinx_proof/translations/jsons/Algorithm.json b/sphinx_proof/translations/jsons/Algorithm.json
index aec3871..2116dc8 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":"Dutch","symbol":"nl","text":"Algoritme"}]
diff --git a/sphinx_proof/translations/jsons/Assumption.json b/sphinx_proof/translations/jsons/Assumption.json
index 17e55b3..b24ef50 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":"Dutch","symbol":"nl","text":"Aanname"}]
diff --git a/sphinx_proof/translations/jsons/Axiom.json b/sphinx_proof/translations/jsons/Axiom.json
index a6c667a..c8d5a9b 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":"Dutch","symbol":"nl","text":"Axioma"}]
diff --git a/sphinx_proof/translations/jsons/Criterion.json b/sphinx_proof/translations/jsons/Criterion.json
index e4bc089..a107af8 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":"Dutch","symbol":"nl","text":"Criterium"}]
diff --git a/sphinx_proof/translations/jsons/Example.json b/sphinx_proof/translations/jsons/Example.json
index e6b8fe7..d454e5b 100644
--- a/sphinx_proof/translations/jsons/Example.json
+++ b/sphinx_proof/translations/jsons/Example.json
@@ -1 +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"}]
+[{"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":"Dutch","symbol":"nl","text":"Voorbeeld"}]
diff --git a/sphinx_proof/translations/jsons/Observation.json b/sphinx_proof/translations/jsons/Observation.json
index 201ccb2..3277e9d 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":"Dutch","symbol":"nl","text":"Observatie"}]
diff --git a/sphinx_proof/translations/jsons/Proof.json b/sphinx_proof/translations/jsons/Proof.json
new file mode 100644
index 0000000..dabf4d6
--- /dev/null
+++ b/sphinx_proof/translations/jsons/Proof.json
@@ -0,0 +1 @@
+[{"language":"English","symbol":"en","text":"Proof"},{"language":"Dutch","symbol":"nl","text":"Bewijs"}]
diff --git a/sphinx_proof/translations/jsons/Property.json b/sphinx_proof/translations/jsons/Property.json
index 2543e61..e9794f0 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":"Dutch","symbol":"nl","text":"Eigenschap"}]
diff --git a/sphinx_proof/translations/jsons/Proposition.json b/sphinx_proof/translations/jsons/Proposition.json
index 153e152..f1bcc8d 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":"Dutch","symbol":"nl","text":"Propositie"}]
diff --git a/sphinx_proof/translations/jsons/Remark.json b/sphinx_proof/translations/jsons/Remark.json
index fc89083..3a3d17c 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":"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":"Dutch","symbol":"nl","text":"Opmerking"}]
diff --git a/sphinx_proof/translations/locales/nl/LC_MESSAGES/proof.mo b/sphinx_proof/translations/locales/nl/LC_MESSAGES/proof.mo
index f728a5f614356e59e366f5afa7dbfc2392e9c6a0..ab7a513bc45a0600e2a0f67ab4a37b35ac7bb250 100644
GIT binary patch
literal 798
zcmZ9IJ!}&(6vqveuWJDb39&F78w>}OsY;X~EvZzgRVy00JITw%?b$xrKAJ8}>?|-K
zF(M|!0AhuOg@K8Q0ffZD#KzA5-8lqd>G}6Q{hr^qiwjQ#&IQO7$YaQ5$kH)fI1}(J
zsK5mD;7Ra7v>(R!qi8<`Pb2;uS>^f9L3lo%VRm@8qFdzFsW8!^>wTrmpsW$ysj^zES+h^WP&pE7NFm3e
zJ2X~C)mgo%)MY_pleCs%d*I34mvv;vSvwZEOLF0;R;+J|?vj@7K=dbM9cd16k8ER<
z?UD27&`Nj9i89lyek9r2*y_zg%QtQ%7%PwoS^ub{RvKs;ZkB~qrkxHa(s>Gz*~&DDt~5q6d0$fC2inqz%xqtk{<|*{d)B%EQ8D^|VI)@RQ0;rsQ#l!rUzGEe
Sk=QOZxdY5Cb^{d!D}MmXeX&^p
delta 252
zcmbQoww1a5o)F7a1|VPqVi_Rz0b*_-t^r~YSOLUbK)e!4ZvoP*K)fG_L3)k?F*^{S
z0piU-d
T1IS+kq=Cp4$V32UAQPk*WH1P@Kqv+#5bd0w
zmzA1aQd*SC;F6k_nU`6TnV-ktlbV~GIQa(S5#6xVqTKw{l+--9bSgxa!M`9kwJ19?
OFP$N{BsC`o!~g*3F)CXC
From 330f8fd24870ba4d9c7072401b952e22bc2c6f7b Mon Sep 17 00:00:00 2001
From: Peter Bruin
Date: Wed, 16 Oct 2024 09:57:16 +0200
Subject: [PATCH 2/2] add Dutch translation "Corollary" -> "Gevolg"
---
sphinx_proof/translations/jsons/Corollary.json | 1 +
.../locales/nl/LC_MESSAGES/proof.mo | Bin 798 -> 831 bytes
2 files changed, 1 insertion(+)
create mode 100644 sphinx_proof/translations/jsons/Corollary.json
diff --git a/sphinx_proof/translations/jsons/Corollary.json b/sphinx_proof/translations/jsons/Corollary.json
new file mode 100644
index 0000000..2b360c7
--- /dev/null
+++ b/sphinx_proof/translations/jsons/Corollary.json
@@ -0,0 +1 @@
+[{"language":"English","symbol":"en","text":"Corollary"},{"language":"Dutch","symbol":"nl","text":"Gevolg"}]
diff --git a/sphinx_proof/translations/locales/nl/LC_MESSAGES/proof.mo b/sphinx_proof/translations/locales/nl/LC_MESSAGES/proof.mo
index ab7a513bc45a0600e2a0f67ab4a37b35ac7bb250..fb56d9ce2e900423fb72e6cb3b820c3498a69725 100644
GIT binary patch
delta 387
zcmXYsuTR5J5XbM8Qo8b^3j(qXgC3@ae*nS1!Nh`T(xhV9)C9h!n_ECnH<=u$1wn!Z
z)8I&EH-%XE+;*3I-{;-CyWICZ2d}}XKKCa=G|?5BqD#Fy4q^Zsa0ny#1P@_h`Pk|&
z#+kiW@QA(z)cz$rh98!H!BAu*wH1D0K*Jj9;2*4@=j{#5p}xOC?R&TPPs_h8|1qwN
z8>j}hP(R=w?B`<`$(_i>?jmvx^`|!wXL1YiAk6I+t9z}-NQ1JRpwlvO?UqiQAzh*C
fG}LCZ?72>u