From b1eedfa2cd695c2e616b19dc7beca4ed939bb48f Mon Sep 17 00:00:00 2001
From: Daniel Tenbrinck <daniel.tenbrinck@fau.de>
Date: Sat, 9 Nov 2024 16:47:23 +0100
Subject: [PATCH 1/7] Added German translation for all proof types.

---
 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/Property.json   |   2 +-
 .../translations/jsons/Proposition.json         |   2 +-
 sphinx_proof/translations/jsons/Remark.json     |   2 +-
 .../locales/de/LC_MESSAGES/proof.mo             | Bin 434 -> 753 bytes
 10 files changed, 9 insertions(+), 9 deletions(-)

diff --git a/sphinx_proof/translations/jsons/Algorithm.json b/sphinx_proof/translations/jsons/Algorithm.json
index aec3871..3d1bdf6 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":"German","symbol":"de","text":"Algorithmus"}]
diff --git a/sphinx_proof/translations/jsons/Assumption.json b/sphinx_proof/translations/jsons/Assumption.json
index 17e55b3..2e93df2 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":"German","symbol":"de","text":"Annahme"}]
diff --git a/sphinx_proof/translations/jsons/Axiom.json b/sphinx_proof/translations/jsons/Axiom.json
index a6c667a..a87c4a8 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":"German","symbol":"de","text":"Axiom"}]
diff --git a/sphinx_proof/translations/jsons/Criterion.json b/sphinx_proof/translations/jsons/Criterion.json
index e4bc089..36fe3eb 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":"German","symbol":"de","text":"Kriterium"}]
diff --git a/sphinx_proof/translations/jsons/Example.json b/sphinx_proof/translations/jsons/Example.json
index e6b8fe7..ef68811 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":"German","symbol":"de","text":"Beispiel"}]
diff --git a/sphinx_proof/translations/jsons/Observation.json b/sphinx_proof/translations/jsons/Observation.json
index 201ccb2..65e5466 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":"German","symbol":"de","text":"Beobachtung"}]
diff --git a/sphinx_proof/translations/jsons/Property.json b/sphinx_proof/translations/jsons/Property.json
index 2543e61..61f07a4 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":"German","symbol":"de","text":"Eigenschaft"}]
diff --git a/sphinx_proof/translations/jsons/Proposition.json b/sphinx_proof/translations/jsons/Proposition.json
index 153e152..fa1c2de 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":"German","symbol":"de","text":"Proposition"}]
diff --git a/sphinx_proof/translations/jsons/Remark.json b/sphinx_proof/translations/jsons/Remark.json
index fc89083..c90a2d0 100644
--- a/sphinx_proof/translations/jsons/Remark.json
+++ b/sphinx_proof/translations/jsons/Remark.json
@@ -1,2 +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":"Bemerkung"},{"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/locales/de/LC_MESSAGES/proof.mo b/sphinx_proof/translations/locales/de/LC_MESSAGES/proof.mo
index b81403d92ef703df878c1950cbeb80fe75fcd337..c5c20a4ce4ac954d9258dee642b7260eedda71a8 100644
GIT binary patch
literal 753
zcmY+AJ#Q015QY~BU&lug+7w3z#Q~v;Y`L(5BP<dTVMB?uw#Ro%Zg)?+dy!2UQK1wF
ziH3p-iIO4>qM)GU2T)Q_^Ajj|=e)wO(&*W_dGFns`LVwCM&MjUY#@#i*ATxEeD0qT
z;vzTz6L1Kg1)s)z8tXRZ3-CPZFF@8EgO|Y9;05qq%s+tVke`68{|ughUt|67^z!==
z$UZMY?&DSDTaf#C53=t^kaeFxe(y`<x5)1x|Nj$Q1Al>ds+k-3dsxH1?0F`BW&M?S
zzYMZJzXgkC2JT;U%iKB@3N5<c*SZSI8qu9AtHri8&u9{AM`9Zia$LGcGi6kx>d&RF
zN)o%IwG<D>p4_2qD*Mh><ibMm#rmcE5ozfT#Hb+aNOOtZv%xfbLe9gxl@6;ynR$ki
zoh5sNz5c4SdFxJsh60(8jTRNP(m?ZYyDFtJ?Q~K|=P7g^k9M-HmCi}yXXLWJnb@f^
zc`Mx-tB~wUlh-nb$CQ%&vUak}cC6FBm71zaedlgFU0ypkOnSYOZr*Gst7X+*bd8aP
zrnoDNpzBbZTs&B=s@DImsz=IKipsdF9@(*+6pg;GaxxwR%))=`>X9aQz>Y&1o{K-w
C)~iea

delta 249
zcmey!x{0~|o)F7a1|VPqVi_Rz0b*_-t^r~YSOLUbK)e!4ZvoP*K)fG_L3)k?F*^{S
z0piU-d<BR(fw+SaqHhwA2C1J5q(S0~fiw${UJImw$Q8&$0A?T)q!?r{2!IrV027FC
z&d<wAO)e=dN@Z|KP0P&7EXmBzWAI7M%}t!ViSdY5SZYyjX-R2bI)*fZV_t4*Q8q{_
JII*OP0RXnpDSZF{


From 3b421e63483a30c73c16838bca99ec437b14a2b7 Mon Sep 17 00:00:00 2001
From: Daniel Tenbrinck <daniel.tenbrinck@fau.de>
Date: Sat, 9 Nov 2024 16:48:31 +0100
Subject: [PATCH 2/7] Introduced translation to titles of references.

---
 sphinx_proof/domain.py | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/sphinx_proof/domain.py b/sphinx_proof/domain.py
index 289e51a..be35ab3 100644
--- a/sphinx_proof/domain.py
+++ b/sphinx_proof/domain.py
@@ -24,8 +24,12 @@
 from .proof_type import PROOF_TYPES
 from copy import copy
 
+from sphinx.locale import get_translation
+
 logger = logging.getLogger(__name__)
 
+MESSAGE_CATALOG_NAME = "proof"
+_ = get_translation(MESSAGE_CATALOG_NAME)
 
 class ProofIndex(Index):
 
@@ -156,7 +160,8 @@ def resolve_xref(
                     number = ".".join(
                         map(str, env.toc_fignumbers[todocname][typ][target])
                     )
-                title = nodes.Text(f"{match['type'].title()} {number}")
+                # translate title
+                title = nodes.Text(f"{_(match['type'].title())} {number}")
             # builder, fromdocname, todocname, targetid, child, title=None
             return make_refnode(builder, fromdocname, todocname, target, title)
         else:

From d6dd30337dd1c4749bedcd8075b8fdc7d2eecc03 Mon Sep 17 00:00:00 2001
From: "pre-commit-ci[bot]"
 <66853113+pre-commit-ci[bot]@users.noreply.github.com>
Date: Sat, 9 Nov 2024 16:50:21 +0000
Subject: [PATCH 3/7] [pre-commit.ci] auto fixes from pre-commit.com hooks

for more information, see https://pre-commit.ci
---
 sphinx_proof/domain.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/sphinx_proof/domain.py b/sphinx_proof/domain.py
index be35ab3..02508bc 100644
--- a/sphinx_proof/domain.py
+++ b/sphinx_proof/domain.py
@@ -31,6 +31,7 @@
 MESSAGE_CATALOG_NAME = "proof"
 _ = get_translation(MESSAGE_CATALOG_NAME)
 
+
 class ProofIndex(Index):
 
     name = "prf"

From 2651a25880a5d924de5284ca113cc93bbd90c483 Mon Sep 17 00:00:00 2001
From: Manuel Pena <mpena991@gmail.com>
Date: Sun, 10 Nov 2024 19:28:29 +0100
Subject: [PATCH 4/7] =?UTF-8?q?added=20translations=20for=20spanish.=20Cha?=
 =?UTF-8?q?nged=20the=20translation=20of=20'Remark'=20to=20'Nota'=20so=20'?=
 =?UTF-8?q?Observation'=20can=20be=20'Observaci=C3=B3n',=20and=20corrected?=
 =?UTF-8?q?=20the=20translation=20of=20'Theorem'=20to=20'Teorema'?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 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 +-
 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 +-
 10 files changed, 10 insertions(+), 10 deletions(-)

diff --git a/sphinx_proof/translations/jsons/Algorithm.json b/sphinx_proof/translations/jsons/Algorithm.json
index aec3871..b68c8c7 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":"Spanish","symbol":"es","text":"Algoritmo"}]
diff --git a/sphinx_proof/translations/jsons/Assumption.json b/sphinx_proof/translations/jsons/Assumption.json
index 17e55b3..38a11b4 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":"Spanish", "symbol":"es","text":"Supuesto"}]
diff --git a/sphinx_proof/translations/jsons/Axiom.json b/sphinx_proof/translations/jsons/Axiom.json
index a6c667a..84f1d57 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":"Spanish","symbol":"es","text":"Axioma"}]
diff --git a/sphinx_proof/translations/jsons/Criterion.json b/sphinx_proof/translations/jsons/Criterion.json
index e4bc089..2f1a81a 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":"Spanish","symbol":"es","text":"Criterio"}]
diff --git a/sphinx_proof/translations/jsons/Example.json b/sphinx_proof/translations/jsons/Example.json
index e6b8fe7..5075097 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":"Spanish","symbol":"es","text":"Ejemplo"}]
diff --git a/sphinx_proof/translations/jsons/Observation.json b/sphinx_proof/translations/jsons/Observation.json
index 201ccb2..64f1a37 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":"Spanish","symbol":"es","text":"Observación"}]
diff --git a/sphinx_proof/translations/jsons/Property.json b/sphinx_proof/translations/jsons/Property.json
index 2543e61..c43427c 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":"Spanish","symbol":"es","text":"Propiedad"}]
diff --git a/sphinx_proof/translations/jsons/Proposition.json b/sphinx_proof/translations/jsons/Proposition.json
index 153e152..8cba5ac 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":"Spanish","symbol":"es","text":"Proposición"}]
diff --git a/sphinx_proof/translations/jsons/Remark.json b/sphinx_proof/translations/jsons/Remark.json
index fc89083..2a79478 100644
--- a/sphinx_proof/translations/jsons/Remark.json
+++ b/sphinx_proof/translations/jsons/Remark.json
@@ -1,2 +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":"Nota"},
 {"language":"Czech","symbol":"cs","text":"Poznámka"}]
diff --git a/sphinx_proof/translations/jsons/Theorem.json b/sphinx_proof/translations/jsons/Theorem.json
index 1e7e49c..253b076 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":"Teorema"}]

From cdd3ede8f1cef3d1403277ca88bfc320a4cda8ff Mon Sep 17 00:00:00 2001
From: Manuel Pena <mpena991@gmail.com>
Date: Sun, 10 Nov 2024 19:40:27 +0100
Subject: [PATCH 5/7] Remark json to one line

---
 sphinx_proof/translations/jsons/Remark.json | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/sphinx_proof/translations/jsons/Remark.json b/sphinx_proof/translations/jsons/Remark.json
index 2a79478..c1cb779 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":"Nota"},
-{"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":"Nota"},{"language":"Czech","symbol":"cs","text":"Poznámka"}]

From c09022bf02141695c3fbf4742d6d939a1e1e9924 Mon Sep 17 00:00:00 2001
From: Manuel Pena <mpena991@gmail.com>
Date: Sun, 10 Nov 2024 20:03:45 +0100
Subject: [PATCH 6/7] code tested locally against own book

---
 .../locales/es/LC_MESSAGES/proof.mo             | Bin 438 -> 749 bytes
 1 file changed, 0 insertions(+), 0 deletions(-)

diff --git a/sphinx_proof/translations/locales/es/LC_MESSAGES/proof.mo b/sphinx_proof/translations/locales/es/LC_MESSAGES/proof.mo
index e6c75055c74e97a53d540879d9d69790ad6f3ecf..9afc0a8129cf404f234d2acdf2176f5be856d16c 100644
GIT binary patch
literal 749
zcmYL_zi$&U6vqt|D94Wh)(*$k4hNK}N|Yfgsfg6liUdX^H}{gbob8kCtCEd@rBVk}
ziG_iMfsr8t5@Ld>Gdp78zhL0|?%dYW)8{?Eub=Jj@4HLy1=bzJ3gQ@X5AhGd>**yS
zZh(C-0SDk!@Kvny*tfBsgV)i23$pGQya}Fw%izaYe+I9iUVyCs1}?xKAm4X*xzWD?
zS$72T{=2yU0pz)#KtBHkTmrv>x4`cp>rZ3-EB60@tp5w*s`}r+`QkJDPk!r_xXW{I
z$DC*Lz5F+fsNcr(M7Nk&r@~Z=uJ@HLgR(|+XUb}^Y0UwRLgh$oLPCyPPiU-+s#U$2
z)MY_po3xf<ci)pclyzs%*^*qC3r?(W<j+Y<_gW06WF2X4@${^pXD`Wl%x<NFa;nTM
zL(7hno&HYmqP70uQGy2rG9eqzOKPQoX5nF3NM+jTXeynj(0MW3$~G=^P8vTZm-WoZ
z=E_W3>Bhba$+k3;N=`6?e6m+mP8Qjgb=tR5Q`V*LJZ`5=+F3Q}{Z6{R)=tjM(pC(r
zvLYXBW0h>Yf>p?(Rne)D`nfQocR;YpvQ_6!H63<HQ7-c{ubS;=Hb^n7os!}|LiVd@

delta 253
zcmaFMx{bO1o)F7a1|VPqVi_Rz0b*_-t^r~YSOLUbK)e!4ZvoP*K)fG_L3)k?F*^{S
z0piU-d<BR(fw+SaV$LKW%>v}l1JXP|dNGg&>E8gPfyfoeL;z+W6C?>T7z98XL4XNF
zIOpeOr6!k@7Ns({q^4!&WtL>-=P~%C=H@0&-o$uB4=fLqPJ~J)XCB@RmQQ5xPby9=
PDoccjgdLe(lE?r6dao?9


From d1c7e9caa1d0b395b41c6bcf3adac71cf765a781 Mon Sep 17 00:00:00 2001
From: Manuel <mpena991@gmail.com>
Date: Mon, 11 Nov 2024 15:22:12 +0100
Subject: [PATCH 7/7] Spanish and German translations with cross references