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

* Update MANIFEST.in to include more sphinx_proof files

Added *.json, *.mo, and *.py files from the sphinx_proof directory to the package manifest for more comprehensive distribution. Removed global recursive inclusion of *.pot, *.po, and *.mo files.

* Expand translation coverage for proof terms

Added and updated translations for mathematical proof terms in multiple languages across all JSON files. Also updated and added compiled .mo files for new and existing locales to support broader internationalization.

* Add support for notation directive and translations

Introduces a new 'notation' directive and node to the Sphinx Proof extension, including registration in NODE_TYPES and PROOF_TYPES. Adds a Notation.json file with translations for 'Notation' in multiple languages and updates .mo files for localization support.

* Fix incorrect translations for Remark and Proposition

- Fixed Remark translations that incorrectly used 'Observation':
  - Spanish (es): Observación → Nota
  - Portuguese (pt): Observação → Nota
  - Italian (it): Osservazione → Nota
  - Greek (el): Παρατήρηση → Σημείωση
  - Romanian (ro): Observație → Remarcă

- Fixed Proposition translation in Polish:
  - Polish (pl): Twierdzenie → Propozycja
  (Twierdzenie means 'Theorem', not 'Proposition')

- Regenerated all affected locale .mo files

* [pre-commit.ci] auto fixes from pre-commit.com hooks

for more information, see https://pre-commit.ci

* Fix duplicate NotationDirective class definition

Removed duplicate NotationDirective class that was causing issues.
Only one NotationDirective definition is needed.

* Fix duplicate notation_node class definition

Removed duplicate notation_node class in nodes.py.
Only one notation_node definition is needed.

---------

Co-authored-by: Dennis den Ouden-van der Horst <d.denouden-vanderhorst@tudelft.nl>
Co-authored-by: pre-commit-ci[bot] <66853113+pre-commit-ci[bot]@users.noreply.github.com>

Author: 3 people

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"},