Update MANIFEST.in to include more sphinx_proof files

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/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":"Определение"}
 ]

sphinx_proof/translations/jsons/Example.json

@@ -1,9 +1,32 @@
 [
     {"language":"English","symbol":"en","text":"Example"},
-    {"language":"Czech","symbol":"cs","text":"Příklad"},
-    {"language":"Dutch","symbol":"nl","text":"Voorbeeld"},
+    {"language":"Chinese","symbol":"zh_CN","text":"例子"},
+    {"language":"Spanish","symbol":"es","text":"Ejemplo"},
+    {"language":"Arabic","symbol":"ar","text":"مثال"},
+    {"language":"Hindi","symbol":"hi","text":"उदाहरण"},
+    {"language":"Portuguese","symbol":"pt","text":"Exemplo"},
+    {"language":"Russian","symbol":"ru","text":"Пример"},
+    {"language":"Japanese","symbol":"ja","text":"例"},
     {"language":"French","symbol":"fr","text":"Exemple"},
     {"language":"German","symbol":"de","text":"Beispiel"},
+    {"language":"Korean","symbol":"ko","text":"예제"},
     {"language":"Italian","symbol":"it","text":"Esempio"},
-    {"language":"Spanish","symbol":"es","text":"Ejemplo"}
+    {"language":"Turkish","symbol":"tr","text":"Örnek"},
+    {"language":"Vietnamese","symbol":"vi","text":"Ví dụ"},
+    {"language":"Polish","symbol":"pl","text":"Przykład"},
+    {"language":"Dutch","symbol":"nl","text":"Voorbeeld"},
+    {"language":"Indonesian","symbol":"id","text":"Contoh"},
+    {"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říklad"},
+    {"language":"Swedish","symbol":"sv","text":"Exempel"},
+    {"language":"Hebrew","symbol":"he","text":"דוגמה"},
+    {"language":"Romanian","symbol":"ro","text":"Exemplu"},
+    {"language":"Hungarian","symbol":"hu","text":"Példa"},
+    {"language":"Danish","symbol":"da","text":"Eksempel"},
+    {"language":"Finnish","symbol":"fi","text":"Esimerkki"},
+    {"language":"Norwegian","symbol":"no","text":"Eksempel"},
+    {"language":"Bulgarian","symbol":"bg","text":"Пример"}
 ]

sphinx_proof/translations/jsons/Lemma.json

@@ -1,13 +1,32 @@
 [
     {"language":"English","symbol":"en","text":"Lemma"},
-    {"language":"Arabic","symbol":"ar","text":"ليما"},
     {"language":"Chinese","symbol":"zh_CN","text":"引理"},
-    {"language":"Czech","symbol":"cs","text":"Lemma"},
-    {"language":"Dutch","symbol":"nl","text":"Lemma"},
+    {"language":"Spanish","symbol":"es","text":"Lema"},
+    {"language":"Arabic","symbol":"ar","text":"ليما"},
+    {"language":"Hindi","symbol":"hi","text":"लेम्मा"},
+    {"language":"Portuguese","symbol":"pt","text":"Lema"},
+    {"language":"Russian","symbol":"ru","text":"Лемма"},
+    {"language":"Japanese","symbol":"ja","text":"補題"},
     {"language":"French","symbol":"fr","text":"Lemme"},
     {"language":"German","symbol":"de","text":"Lemma"},
+    {"language":"Korean","symbol":"ko","text":"보조정리"},
     {"language":"Italian","symbol":"it","text":"Lemma"},
-    {"language":"Japanese","symbol":"ja","text":"補題"},
-    {"language":"Russian","symbol":"ru","text":"Лемма"},
-    {"language":"Spanish","symbol":"es","text":"Lema"}
+    {"language":"Turkish","symbol":"tr","text":"Lemma"},
+    {"language":"Vietnamese","symbol":"vi","text":"Bổ đề"},
+    {"language":"Polish","symbol":"pl","text":"Lemat"},
+    {"language":"Dutch","symbol":"nl","text":"Lemma"},
+    {"language":"Indonesian","symbol":"id","text":"Lemma"},
+    {"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":"Lemma"},
+    {"language":"Swedish","symbol":"sv","text":"Lemma"},
+    {"language":"Hebrew","symbol":"he","text":"למה"},
+    {"language":"Romanian","symbol":"ro","text":"Lemă"},
+    {"language":"Hungarian","symbol":"hu","text":"Lemma"},
+    {"language":"Danish","symbol":"da","text":"Lemma"},
+    {"language":"Finnish","symbol":"fi","text":"Lemma"},
+    {"language":"Norwegian","symbol":"no","text":"Lemma"},
+    {"language":"Bulgarian","symbol":"bg","text":"Лема"}
 ]