ENH: Adds additional language support and fixes sphinx issues + updated manifests (#146)

* 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.

Author: douden

MANIFEST.in

@@ -9,5 +9,6 @@ include README.md
 
 recursive-include sphinx_proof *.js
 recursive-include sphinx_proof *.css
-
-recursive-include *.pot *.po *.mo
+recursive-include sphinx_proof *.json
+recursive-include sphinx_proof *.mo
+recursive-include sphinx_proof *.py

sphinx_proof/nodes.py

@@ -187,6 +187,9 @@ class unenumerable_node(nodes.Admonition, nodes.Element):
 class assumption_node(nodes.Admonition, nodes.Element):
     pass
 
+class notation_node(nodes.Admonition, nodes.Element):
+    pass
+
 
 NODE_TYPES = {
     "axiom": axiom_node,
@@ -203,4 +206,5 @@ class assumption_node(nodes.Admonition, nodes.Element):
     "observation": observation_node,
     "proposition": proposition_node,
     "assumption": assumption_node,
+    "notation": notation_node,
 }

sphinx_proof/proof_type.py

@@ -94,6 +94,10 @@ class AssumptionDirective(ElementDirective):
 
     name = "assumption"
 
+class NotationDirective(ElementDirective):
+    """A custom notation directive."""
+
+    name = "notation"
 
 PROOF_TYPES = {
     "axiom": AxiomDirective,
@@ -110,4 +114,5 @@ class AssumptionDirective(ElementDirective):
     "observation": ObservationDirective,
     "proposition": PropositionDirective,
     "assumption": AssumptionDirective,
+    "notation": NotationDirective,
 }

sphinx_proof/translations/jsons/Algorithm.json

@@ -1,10 +1,32 @@
 [
     {"language":"English","symbol":"en","text":"Algorithm"},
     {"language":"Chinese","symbol":"zh_CN","text":"算法"},
-    {"language":"Czech","symbol":"cs","text":"Algoritmus"},
-    {"language":"Dutch","symbol":"nl","text":"Algoritme"},
+    {"language":"Spanish","symbol":"es","text":"Algoritmo"},
+    {"language":"Arabic","symbol":"ar","text":"خوارزمية"},
+    {"language":"Hindi","symbol":"hi","text":"एल्गोरिदम"},
+    {"language":"Portuguese","symbol":"pt","text":"Algoritmo"},
+    {"language":"Russian","symbol":"ru","text":"Алгоритм"},
+    {"language":"Japanese","symbol":"ja","text":"アルゴリズム"},
     {"language":"French","symbol":"fr","text":"Algorithme"},
     {"language":"German","symbol":"de","text":"Algorithmus"},
+    {"language":"Korean","symbol":"ko","text":"알고리즘"},
     {"language":"Italian","symbol":"it","text":"Algoritmo"},
-    {"language":"Spanish","symbol":"es","text":"Algoritmo"}
+    {"language":"Turkish","symbol":"tr","text":"Algoritma"},
+    {"language":"Vietnamese","symbol":"vi","text":"Thuật toán"},
+    {"language":"Polish","symbol":"pl","text":"Algorytm"},
+    {"language":"Dutch","symbol":"nl","text":"Algoritme"},
+    {"language":"Indonesian","symbol":"id","text":"Algoritma"},
+    {"language":"Thai","symbol":"th","text":"อัลกอริทึม"},
+    {"language":"Persian","symbol":"fa","text":"الگوریتم"},
+    {"language":"Ukrainian","symbol":"uk","text":"Алгоритм"},
+    {"language":"Greek","symbol":"el","text":"Αλγόριθμος"},
+    {"language":"Czech","symbol":"cs","text":"Algoritmus"},
+    {"language":"Swedish","symbol":"sv","text":"Algoritm"},
+    {"language":"Hebrew","symbol":"he","text":"אלגוריתם"},
+    {"language":"Romanian","symbol":"ro","text":"Algoritm"},
+    {"language":"Hungarian","symbol":"hu","text":"Algoritmus"},
+    {"language":"Danish","symbol":"da","text":"Algoritme"},
+    {"language":"Finnish","symbol":"fi","text":"Algoritmi"},
+    {"language":"Norwegian","symbol":"no","text":"Algoritme"},
+    {"language":"Bulgarian","symbol":"bg","text":"Алгоритъм"}
 ]

sphinx_proof/translations/jsons/Assumption.json

@@ -1,7 +1,32 @@
 [
     {"language":"English","symbol":"en","text":"Assumption"},
     {"language":"Chinese","symbol":"zh_CN","text":"假设"},
-    {"language":"Dutch","symbol":"nl","text":"Aanname"},
+    {"language":"Spanish","symbol":"es","text":"Supuesto"},
+    {"language":"Arabic","symbol":"ar","text":"افتراض"},
+    {"language":"Hindi","symbol":"hi","text":"अनुमान"},
+    {"language":"Portuguese","symbol":"pt","text":"Suposição"},
+    {"language":"Russian","symbol":"ru","text":"Предположение"},
+    {"language":"Japanese","symbol":"ja","text":"仮定"},
+    {"language":"French","symbol":"fr","text":"Hypothèse"},
     {"language":"German","symbol":"de","text":"Annahme"},
-    {"language":"Spanish", "symbol":"es","text":"Supuesto"}
+    {"language":"Korean","symbol":"ko","text":"가정"},
+    {"language":"Italian","symbol":"it","text":"Assunzione"},
+    {"language":"Turkish","symbol":"tr","text":"Varsayım"},
+    {"language":"Vietnamese","symbol":"vi","text":"Giả định"},
+    {"language":"Polish","symbol":"pl","text":"Założenie"},
+    {"language":"Dutch","symbol":"nl","text":"Aanname"},
+    {"language":"Indonesian","symbol":"id","text":"Asumsi"},
+    {"language":"Thai","symbol":"th","text":"สมมติฐาน"},
+    {"language":"Persian","symbol":"fa","text":"فرض"},
+    {"language":"Ukrainian","symbol":"uk","text":"Припущення"},
+    {"language":"Greek","symbol":"el","text":"Υπόθεση"},
+    {"language":"Czech","symbol":"cs","text":"Předpoklad"},
+    {"language":"Swedish","symbol":"sv","text":"Antagande"},
+    {"language":"Hebrew","symbol":"he","text":"הנחה"},
+    {"language":"Romanian","symbol":"ro","text":"Presupunere"},
+    {"language":"Hungarian","symbol":"hu","text":"Feltételezés"},
+    {"language":"Danish","symbol":"da","text":"Antagelse"},
+    {"language":"Finnish","symbol":"fi","text":"Oletus"},
+    {"language":"Norwegian","symbol":"no","text":"Antagelse"},
+    {"language":"Bulgarian","symbol":"bg","text":"Предположение"}
 ]

sphinx_proof/translations/jsons/Axiom.json

@@ -1,10 +1,32 @@
 [
     {"language":"English","symbol":"en","text":"Axiom"},
     {"language":"Chinese","symbol":"zh_CN","text":"公理"},
-    {"language":"Czech","symbol":"cs","text":"Axiom"},
-    {"language":"Dutch","symbol":"nl","text":"Axioma"},
+    {"language":"Spanish","symbol":"es","text":"Axioma"},
+    {"language":"Arabic","symbol":"ar","text":"بديهية"},
+    {"language":"Hindi","symbol":"hi","text":"स्वयंसिद्ध"},
+    {"language":"Portuguese","symbol":"pt","text":"Axioma"},
+    {"language":"Russian","symbol":"ru","text":"Аксиома"},
+    {"language":"Japanese","symbol":"ja","text":"公理"},
     {"language":"French","symbol":"fr","text":"Axiome"},
     {"language":"German","symbol":"de","text":"Axiom"},
+    {"language":"Korean","symbol":"ko","text":"공리"},
     {"language":"Italian","symbol":"it","text":"Assioma"},
-    {"language":"Spanish","symbol":"es","text":"Axioma"}
+    {"language":"Turkish","symbol":"tr","text":"Aksiyom"},
+    {"language":"Vietnamese","symbol":"vi","text":"Tiên đề"},
+    {"language":"Polish","symbol":"pl","text":"Aksjomat"},
+    {"language":"Dutch","symbol":"nl","text":"Axioma"},
+    {"language":"Indonesian","symbol":"id","text":"Aksioma"},
+    {"language":"Thai","symbol":"th","text":"สัจพจน์"},
+    {"language":"Persian","symbol":"fa","text":"بدیهیات"},
+    {"language":"Ukrainian","symbol":"uk","text":"Аксіома"},
+    {"language":"Greek","symbol":"el","text":"Αξίωμα"},
+    {"language":"Czech","symbol":"cs","text":"Axiom"},
+    {"language":"Swedish","symbol":"sv","text":"Axiom"},
+    {"language":"Hebrew","symbol":"he","text":"אקסיומה"},
+    {"language":"Romanian","symbol":"ro","text":"Axiomă"},
+    {"language":"Hungarian","symbol":"hu","text":"Axióma"},
+    {"language":"Danish","symbol":"da","text":"Aksiom"},
+    {"language":"Finnish","symbol":"fi","text":"Aksiooma"},
+    {"language":"Norwegian","symbol":"no","text":"Aksiom"},
+    {"language":"Bulgarian","symbol":"bg","text":"Аксиома"}
 ]

sphinx_proof/translations/jsons/Conjecture.json

@@ -1,13 +1,32 @@
 [
     {"language":"English","symbol":"en","text":"Conjecture"},
-    {"language":"Arabic","symbol":"ar","text":"تخمين"},
     {"language":"Chinese","symbol":"zh_CN","text":"猜想"},
-    {"language":"Czech","symbol":"cs","text":"Domněnka"},
-    {"language":"Dutch","symbol":"nl","text":"Vermoeden"},
+    {"language":"Spanish","symbol":"es","text":"Conjetura"},
+    {"language":"Arabic","symbol":"ar","text":"تخمين"},
+    {"language":"Hindi","symbol":"hi","text":"अनुमान"},
+    {"language":"Portuguese","symbol":"pt","text":"Conjectura"},
+    {"language":"Russian","symbol":"ru","text":"Гипотеза"},
+    {"language":"Japanese","symbol":"ja","text":"推測"},
     {"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":"Korean","symbol":"ko","text":"추측"},
+    {"language":"Italian","symbol":"it","text":"Congettura"},
+    {"language":"Turkish","symbol":"tr","text":"Tahmin"},
+    {"language":"Vietnamese","symbol":"vi","text":"Phỏng đoán"},
+    {"language":"Polish","symbol":"pl","text":"Przypuszczenie"},
+    {"language":"Dutch","symbol":"nl","text":"Vermoeden"},
+    {"language":"Indonesian","symbol":"id","text":"Dugaan"},
+    {"language":"Thai","symbol":"th","text":"ข้อสันนิษฐาน"},
+    {"language":"Persian","symbol":"fa","text":"حدس"},
+    {"language":"Ukrainian","symbol":"uk","text":"Гіпотеза"},
+    {"language":"Greek","symbol":"el","text":"Εικασία"},
+    {"language":"Czech","symbol":"cs","text":"Domněnka"},
+    {"language":"Swedish","symbol":"sv","text":"Förmodan"},
+    {"language":"Hebrew","symbol":"he","text":"השערה"},
+    {"language":"Romanian","symbol":"ro","text":"Conjectură"},
+    {"language":"Hungarian","symbol":"hu","text":"Sejtés"},
+    {"language":"Danish","symbol":"da","text":"Formodning"},
+    {"language":"Finnish","symbol":"fi","text":"Otaksuma"},
+    {"language":"Norwegian","symbol":"no","text":"Formodning"},
+    {"language":"Bulgarian","symbol":"bg","text":"Предположение"}
 ]

sphinx_proof/translations/jsons/Corollary.json

@@ -1,4 +1,32 @@
 [
     {"language":"English","symbol":"en","text":"Corollary"},
-    {"language":"German","symbol":"de","text":"Korollar"}
+    {"language":"Chinese","symbol":"zh_CN","text":"推论"},
+    {"language":"Spanish","symbol":"es","text":"Corolario"},
+    {"language":"Arabic","symbol":"ar","text":"نتيجة"},
+    {"language":"Hindi","symbol":"hi","text":"परिणाम"},
+    {"language":"Portuguese","symbol":"pt","text":"Corolário"},
+    {"language":"Russian","symbol":"ru","text":"Следствие"},
+    {"language":"Japanese","symbol":"ja","text":"系"},
+    {"language":"French","symbol":"fr","text":"Corollaire"},
+    {"language":"German","symbol":"de","text":"Korollar"},
+    {"language":"Korean","symbol":"ko","text":"따름정리"},
+    {"language":"Italian","symbol":"it","text":"Corollario"},
+    {"language":"Turkish","symbol":"tr","text":"Sonuç"},
+    {"language":"Vietnamese","symbol":"vi","text":"Hệ quả"},
+    {"language":"Polish","symbol":"pl","text":"Wniosek"},
+    {"language":"Dutch","symbol":"nl","text":"Gevolg"},
+    {"language":"Indonesian","symbol":"id","text":"Akibat"},
+    {"language":"Thai","symbol":"th","text":"บทตาม"},
+    {"language":"Persian","symbol":"fa","text":"نتیجه"},
+    {"language":"Ukrainian","symbol":"uk","text":"Наслідок"},
+    {"language":"Greek","symbol":"el","text":"Πόρισμα"},
+    {"language":"Czech","symbol":"cs","text":"Důsledek"},
+    {"language":"Swedish","symbol":"sv","text":"Korollarium"},
+    {"language":"Hebrew","symbol":"he","text":"מסקנה"},
+    {"language":"Romanian","symbol":"ro","text":"Corolar"},
+    {"language":"Hungarian","symbol":"hu","text":"Következmény"},
+    {"language":"Danish","symbol":"da","text":"Korollar"},
+    {"language":"Finnish","symbol":"fi","text":"Seuraus"},
+    {"language":"Norwegian","symbol":"no","text":"Korollar"},
+    {"language":"Bulgarian","symbol":"bg","text":"Следствие"}
 ]

sphinx_proof/translations/jsons/Criterion.json

@@ -1,10 +1,32 @@
 [
     {"language":"English","symbol":"en","text":"Criterion"},
     {"language":"Chinese","symbol":"zh_CN","text":"准则"},
-    {"language":"Czech","symbol":"cs","text":"Kritérium"},
-    {"language":"Dutch","symbol":"nl","text":"Criterium"},
+    {"language":"Spanish","symbol":"es","text":"Criterio"},
+    {"language":"Arabic","symbol":"ar","text":"معيار"},
+    {"language":"Hindi","symbol":"hi","text":"मानदंड"},
+    {"language":"Portuguese","symbol":"pt","text":"Critério"},
+    {"language":"Russian","symbol":"ru","text":"Критерий"},
+    {"language":"Japanese","symbol":"ja","text":"基準"},
     {"language":"French","symbol":"fr","text":"Critère"},
     {"language":"German","symbol":"de","text":"Kriterium"},
+    {"language":"Korean","symbol":"ko","text":"기준"},
     {"language":"Italian","symbol":"it","text":"Criterio"},
-    {"language":"Spanish","symbol":"es","text":"Criterio"}
+    {"language":"Turkish","symbol":"tr","text":"Kriter"},
+    {"language":"Vietnamese","symbol":"vi","text":"Tiêu chí"},
+    {"language":"Polish","symbol":"pl","text":"Kryterium"},
+    {"language":"Dutch","symbol":"nl","text":"Criterium"},
+    {"language":"Indonesian","symbol":"id","text":"Kriteria"},
+    {"language":"Thai","symbol":"th","text":"เกณฑ์"},
+    {"language":"Persian","symbol":"fa","text":"معیار"},
+    {"language":"Ukrainian","symbol":"uk","text":"Критерій"},
+    {"language":"Greek","symbol":"el","text":"Κριτήριο"},
+    {"language":"Czech","symbol":"cs","text":"Kritérium"},
+    {"language":"Swedish","symbol":"sv","text":"Kriterium"},
+    {"language":"Hebrew","symbol":"he","text":"קריטריון"},
+    {"language":"Romanian","symbol":"ro","text":"Criteriu"},
+    {"language":"Hungarian","symbol":"hu","text":"Kritérium"},
+    {"language":"Danish","symbol":"da","text":"Kriterium"},
+    {"language":"Finnish","symbol":"fi","text":"Kriteeri"},
+    {"language":"Norwegian","symbol":"no","text":"Kriterium"},
+    {"language":"Bulgarian","symbol":"bg","text":"Критерий"}
 ]

sphinx_proof/translations/jsons/Definition.json

@@ -1,13 +1,32 @@
 [
     {"language":"English","symbol":"en","text":"Definition"},
-    {"language":"Arabic","symbol":"ar","text":"تعريف"},
-    {"language":"Czech","symbol":"cs","text":"Definice"},
     {"language":"Chinese","symbol":"zh_CN","text":"定义"},
-    {"language":"Dutch","symbol":"nl","text":"Definitie"},
+    {"language":"Spanish","symbol":"es","text":"Definición"},
+    {"language":"Arabic","symbol":"ar","text":"تعريف"},
+    {"language":"Hindi","symbol":"hi","text":"परिभाषा"},
+    {"language":"Portuguese","symbol":"pt","text":"Definição"},
+    {"language":"Russian","symbol":"ru","text":"Определение"},
+    {"language":"Japanese","symbol":"ja","text":"定義"},
     {"language":"French","symbol":"fr","text":"Définition"},
     {"language":"German","symbol":"de","text":"Definition"},
+    {"language":"Korean","symbol":"ko","text":"정의"},
     {"language":"Italian","symbol":"it","text":"Definizione"},
-    {"language":"Japanese","symbol":"ja","text":"意味"},
-    {"language":"Russian","symbol":"ru","text":"Определение"},
-    {"language":"Spanish","symbol":"es","text":"Definición"}
+    {"language":"Turkish","symbol":"tr","text":"Tanım"},
+    {"language":"Vietnamese","symbol":"vi","text":"Định nghĩa"},
+    {"language":"Polish","symbol":"pl","text":"Definicja"},
+    {"language":"Dutch","symbol":"nl","text":"Definitie"},
+    {"language":"Indonesian","symbol":"id","text":"Definisi"},
+    {"language":"Thai","symbol":"th","text":"คำนิยาม"},
+    {"language":"Persian","symbol":"fa","text":"تعریف"},
+    {"language":"Ukrainian","symbol":"uk","text":"Визначення"},
+    {"language":"Greek","symbol":"el","text":"Ορισμός"},
+    {"language":"Czech","symbol":"cs","text":"Definice"},
+    {"language":"Swedish","symbol":"sv","text":"Definition"},
+    {"language":"Hebrew","symbol":"he","text":"הגדרה"},
+    {"language":"Romanian","symbol":"ro","text":"Definiție"},
+    {"language":"Hungarian","symbol":"hu","text":"Definíció"},
+    {"language":"Danish","symbol":"da","text":"Definition"},
+    {"language":"Finnish","symbol":"fi","text":"Määritelmä"},
+    {"language":"Norwegian","symbol":"no","text":"Definisjon"},
+    {"language":"Bulgarian","symbol":"bg","text":"Определение"}
 ]