MAINT: Minor changes to some translations and pre-commit fix (Updates to PR #146)

sphinx_proof/nodes.py

@@ -187,6 +187,7 @@ class unenumerable_node(nodes.Admonition, nodes.Element):
 class assumption_node(nodes.Admonition, nodes.Element):
     pass
 
+
 class notation_node(nodes.Admonition, nodes.Element):
     pass
 

sphinx_proof/proof_type.py

@@ -94,11 +94,13 @@ class AssumptionDirective(ElementDirective):
 
     name = "assumption"
 
+
 class NotationDirective(ElementDirective):
     """A custom notation directive."""
 
     name = "notation"
 
+
 PROOF_TYPES = {
     "axiom": AxiomDirective,
     "theorem": TheoremDirective,

sphinx_proof/translations/jsons/Proposition.json

@@ -13,7 +13,7 @@
     {"language":"Italian","symbol":"it","text":"Proposizione"},
     {"language":"Turkish","symbol":"tr","text":"Önerme"},
     {"language":"Vietnamese","symbol":"vi","text":"Mệnh đề"},
-    {"language":"Polish","symbol":"pl","text":"Twierdzenie"},
+    {"language":"Polish","symbol":"pl","text":"Propozycja"},
     {"language":"Dutch","symbol":"nl","text":"Propositie"},
     {"language":"Indonesian","symbol":"id","text":"Proposisi"},
     {"language":"Thai","symbol":"th","text":"ประพจน์"},

sphinx_proof/translations/jsons/Remark.json

@@ -1,16 +1,16 @@
 [
     {"language":"English","symbol":"en","text":"Remark"},
     {"language":"Chinese","symbol":"zh_CN","text":"注记"},
-    {"language":"Spanish","symbol":"es","text":"Observación"},
+    {"language":"Spanish","symbol":"es","text":"Nota"},
     {"language":"Arabic","symbol":"ar","text":"ملاحظة"},
     {"language":"Hindi","symbol":"hi","text":"टिप्पणी"},
-    {"language":"Portuguese","symbol":"pt","text":"Observação"},
+    {"language":"Portuguese","symbol":"pt","text":"Nota"},
     {"language":"Russian","symbol":"ru","text":"Замечание"},
     {"language":"Japanese","symbol":"ja","text":"注意"},
     {"language":"French","symbol":"fr","text":"Remarque"},
     {"language":"German","symbol":"de","text":"Bemerkung"},
     {"language":"Korean","symbol":"ko","text":"주의"},
-    {"language":"Italian","symbol":"it","text":"Osservazione"},
+    {"language":"Italian","symbol":"it","text":"Nota"},
     {"language":"Turkish","symbol":"tr","text":"Not"},
     {"language":"Vietnamese","symbol":"vi","text":"Chú ý"},
     {"language":"Polish","symbol":"pl","text":"Uwaga"},
@@ -19,11 +19,11 @@
     {"language":"Thai","symbol":"th","text":"หมายเหตุ"},
     {"language":"Persian","symbol":"fa","text":"توجه"},
     {"language":"Ukrainian","symbol":"uk","text":"Зауваження"},
-    {"language":"Greek","symbol":"el","text":"Παρατήρηση"},
+    {"language":"Greek","symbol":"el","text":"Σημείωση"},
     {"language":"Czech","symbol":"cs","text":"Poznámka"},
     {"language":"Swedish","symbol":"sv","text":"Anmärkning"},
     {"language":"Hebrew","symbol":"he","text":"הערה"},
-    {"language":"Romanian","symbol":"ro","text":"Observație"},
+    {"language":"Romanian","symbol":"ro","text":"Remarcă"},
     {"language":"Hungarian","symbol":"hu","text":"Megjegyzés"},
     {"language":"Danish","symbol":"da","text":"Bemærkning"},
     {"language":"Finnish","symbol":"fi","text":"Huomautus"},