RJournal.layout: remove unneeded code

[lyx.git] / lib / layouttranslations

diff --git a/lib/layouttranslations b/lib/layouttranslations
index a885af09c48b63fdfdd2c85bbb1bbd78d60eba73..42721ad2d3856fb98f4bc659ca2f2932611008ad 100644 (file)
--- a/lib/layouttranslations
+++ b/lib/layouttranslations
@@ -30,14 +30,18 @@ Translation ar
        "List of Graphs" "قائمة الرسوم البيانية"
        "List of Schemes" "قائمة التصميمات"
        "List of Tableaux" "قائمة الجداول"
        "List of Graphs" "قائمة الرسوم البيانية"
        "List of Schemes" "قائمة التصميمات"
        "List of Tableaux" "قائمة الجداول"

+       "Listing" "عمل قوائم"
+       "Listings[[List of Listings]]" "Listings"

        "Notation" "تدوين"
        "Note" "ملاحظة"
        "Problem" "مشكلة"
        "Proof" "برهان"
        "Notation" "تدوين"
        "Note" "ملاحظة"
        "Problem" "مشكلة"
        "Proof" "برهان"

+       "Property" "خاصية"

        "Proposition" "Proposition"
        "Question" "سؤال"
        "Remark" "ملاحظة"
        "Scheme" "مخطط"
        "Proposition" "Proposition"
        "Question" "سؤال"
        "Remark" "ملاحظة"
        "Scheme" "مخطط"

+       "Solution" "حل"

        "Summary" "موجز"
        "Tableau" "جدول"
        "Theorem" "نظرية"
        "Summary" "موجز"
        "Tableau" "جدول"
        "Theorem" "نظرية"


@@ -104,14 +108,18 @@ Translation ca
        "List of Graphs" "List of Graphs"
        "List of Schemes" "List of Schemes"
        "List of Tableaux" "List of Tableaux"
        "List of Graphs" "List of Graphs"
        "List of Schemes" "List of Schemes"
        "List of Tableaux" "List of Tableaux"

+       "Listing" "Llistat"
+       "Listings[[List of Listings]]" "Listings"

        "Notation" "Notació"
        "Note" "Nota"
        "Problem" "Problema"
        "Proof" "Demostració"
        "Notation" "Notació"
        "Note" "Nota"
        "Problem" "Problema"
        "Proof" "Demostració"

+       "Property" "Propietat"

        "Proposition" "Proposició"
        "Question" "Qüestió"
        "Remark" "Comentari"
        "Scheme" "Scheme"
        "Proposition" "Proposició"
        "Question" "Qüestió"
        "Remark" "Comentari"
        "Scheme" "Scheme"

+       "Solution" "Solució"

        "Summary" "Resum"
        "Tableau" "Tableau"
        "Theorem" "Teorema"
        "Summary" "Resum"
        "Tableau" "Tableau"
        "Theorem" "Teorema"


@@ -141,54 +149,62 @@ Translation cs
        "List of Graphs" "Seznam grafů"
        "List of Schemes" "Seznam schémat"
        "List of Tableaux" "Seznam tabel"
        "List of Graphs" "Seznam grafů"
        "List of Schemes" "Seznam schémat"
        "List of Tableaux" "Seznam tabel"

+       "Listing" "Výpis"
+       "Listings[[List of Listings]]" "Listings"

        "Notation" "Značení"
        "Note" "Poznámka"
        "Problem" "Úloha"
        "Proof" "Důkaz"
        "Notation" "Značení"
        "Note" "Poznámka"
        "Problem" "Úloha"
        "Proof" "Důkaz"

+       "Property" "Property"

        "Proposition" "Tvrzení"
        "Question" "Otázka"
        "Remark" "Poznámka"
        "Scheme" "Schéma"
        "Proposition" "Tvrzení"
        "Question" "Otázka"
        "Remark" "Poznámka"
        "Scheme" "Schéma"

+       "Solution" "Solution"

        "Summary" "Souhrn"
        "Tableau" "Tablo"
        "Theorem" "Věta"
 End
 
 Translation da
        "Summary" "Souhrn"
        "Tableau" "Tablo"
        "Theorem" "Věta"
 End
 
 Translation da

-       "Acknowledgement" "Taksigelse"
+       "Acknowledgement" "Anerkendelse"

        "Algorithm" "Algoritme"
        "Algorithm" "Algoritme"

-       "Assumption" "Assumption"
+       "Assumption" "Antagelse"

        "Axiom" "Aksiom"
        "Axiom" "Aksiom"

-       "Case" "Sag"
-       "Chart" "Chart"
+       "Case" "Tilfælde"
+       "Chart" "Diagram"

        "Claim" "Påstand"
        "Conclusion" "Konklusion"
        "Condition" "Betingelse"
        "Conjecture" "Formodning"
        "Corollary" "Korollar"
        "Claim" "Påstand"
        "Conclusion" "Konklusion"
        "Condition" "Betingelse"
        "Conjecture" "Formodning"
        "Corollary" "Korollar"

-       "Criterion" "Kriterie"
+       "Criterion" "Kriterium"

        "Definition" "Definition"
        "Example" "Eksempel"
        "Exercise" "Øvelse"
        "Definition" "Definition"
        "Example" "Eksempel"
        "Exercise" "Øvelse"

-       "Fact" "Fakta"
-       "Graph" "Graph"
+       "Fact" "Faktum"
+       "Graph" "Graf"

        "Lemma" "Lemma"
        "Lemma" "Lemma"

-       "List of Algorithms" "List of Algorithms"
-       "List of Charts" "List of Charts"
-       "List of Graphs" "List of Graphs"
-       "List of Schemes" "List of Schemes"
-       "List of Tableaux" "List of Tableaux"
+       "List of Algorithms" "Algoritmeliste"
+       "List of Charts" "Diagramliste"
+       "List of Graphs" "Grafliste"
+       "List of Schemes" "Schemaliste"
+       "List of Tableaux" "Tableauliste"
+       "Listing" "Listing"
+       "Listings[[List of Listings]]" "Listings"

        "Notation" "Notation"
        "Note" "Notat"
        "Problem" "Problem"
        "Notation" "Notation"
        "Note" "Notat"
        "Problem" "Problem"

-       "Proof" "Korrektur"
+       "Proof" "Bevis"
+       "Property" "Property"

        "Proposition" "Forslag"
        "Question" "Spørgsmål"
        "Remark" "Bemærkning"
        "Proposition" "Forslag"
        "Question" "Spørgsmål"
        "Remark" "Bemærkning"

-       "Scheme" "Scheme"
-       "Summary" "Sammenfatning"
+       "Scheme" "Schema"
+       "Solution" "Løsning"
+       "Summary" "Resumé"

        "Tableau" "Tableau"
        "Tableau" "Tableau"

-       "Theorem" "Teorem"
+       "Theorem" "Sætning"

 End
 
 Translation de
 End
 
 Translation de


@@ -215,14 +231,18 @@ Translation de
        "List of Graphs" "Liste der Graphen"
        "List of Schemes" "Liste der Schemata"
        "List of Tableaux" "Tableaux-Verzeichnis"
        "List of Graphs" "Liste der Graphen"
        "List of Schemes" "Liste der Schemata"
        "List of Tableaux" "Tableaux-Verzeichnis"

+       "Listing" "Listing"
+       "Listings[[List of Listings]]" "Verzeichnis der Listings"

        "Notation" "Notation"
        "Note" "Notiz"
        "Problem" "Problem"
        "Proof" "Beweis"
        "Notation" "Notation"
        "Note" "Notiz"
        "Problem" "Problem"
        "Proof" "Beweis"

+       "Property" "Eigenschaft"

        "Proposition" "Satz"
        "Question" "Frage"
        "Remark" "Bemerkung"
        "Scheme" "Schema"
        "Proposition" "Satz"
        "Question" "Frage"
        "Remark" "Bemerkung"
        "Scheme" "Schema"

+       "Solution" "Lösung"

        "Summary" "Zusammenfassung"
        "Tableau" "Tableau"
        "Theorem" "Theorem"
        "Summary" "Zusammenfassung"
        "Tableau" "Tableau"
        "Theorem" "Theorem"


@@ -256,14 +276,18 @@ Translation el
        "List of Graphs" "Λίστα Γραφημάτων"
        "List of Schemes" "Λίστα Σχεδίων"
        "List of Tableaux" "Λίστα Ταμπλό"
        "List of Graphs" "Λίστα Γραφημάτων"
        "List of Schemes" "Λίστα Σχεδίων"
        "List of Tableaux" "Λίστα Ταμπλό"

+       "Listing" "Καταλογοποίηση"
+       "Listings[[List of Listings]]" "Listings"

        "Notation" "Σημειογραφία"
        "Note" "Σημείωση"
        "Problem" "Πρόβλημα"
        "Proof" "Απόδειξη"
        "Notation" "Σημειογραφία"
        "Note" "Σημείωση"
        "Problem" "Πρόβλημα"
        "Proof" "Απόδειξη"

+       "Property" "Ιδιότητα"

        "Proposition" "Πρόταση"
        "Question" "Ερώτημα"
        "Remark" "Παρατήρηση"
        "Scheme" "Σχέδιο"
        "Proposition" "Πρόταση"
        "Question" "Ερώτημα"
        "Remark" "Παρατήρηση"
        "Scheme" "Σχέδιο"

+       "Solution" "Λύση"

        "Summary" "Σύνοψη"
        "Tableau" "Ταμπλό"
        "Theorem" "Θεώρημα"
        "Summary" "Σύνοψη"
        "Tableau" "Ταμπλό"
        "Theorem" "Θεώρημα"


@@ -293,21 +317,25 @@ Translation en
        "List of Graphs" "List of Graphs"
        "List of Schemes" "List of Schemes"
        "List of Tableaux" "List of Tableaux"
        "List of Graphs" "List of Graphs"
        "List of Schemes" "List of Schemes"
        "List of Tableaux" "List of Tableaux"

+       "Listing" "Listing"
+       "Listings[[List of Listings]]" "Listings"

        "Notation" "Notation"
        "Note" "Note"
        "Problem" "Problem"
        "Proof" "Proof"
        "Notation" "Notation"
        "Note" "Note"
        "Problem" "Problem"
        "Proof" "Proof"

+       "Property" "Property"

        "Proposition" "Proposition"
        "Question" "Question"
        "Remark" "Remark"
        "Scheme" "Scheme"
        "Proposition" "Proposition"
        "Question" "Question"
        "Remark" "Remark"
        "Scheme" "Scheme"

+       "Solution" "Solution"

        "Summary" "Summary"
        "Tableau" "Tableau"
        "Theorem" "Theorem"
 End
 
 Translation es
        "Summary" "Summary"
        "Tableau" "Tableau"
        "Theorem" "Theorem"
 End
 
 Translation es

-       "Acknowledgement" "Agradecimiento"
+       "Acknowledgement" "Agradecimientos"

        "Algorithm" "Algoritmo"
        "Assumption" "Suposición"
        "Axiom" "Axioma"
        "Algorithm" "Algoritmo"
        "Assumption" "Suposición"
        "Axiom" "Axioma"


@@ -326,18 +354,22 @@ Translation es
        "Graph" "Gráfico"
        "Lemma" "Lema"
        "List of Algorithms" "Índice de algoritmos"
        "Graph" "Gráfico"
        "Lemma" "Lema"
        "List of Algorithms" "Índice de algoritmos"

-       "List of Charts" "Lista de diagramas"
-       "List of Graphs" "Lista de gráficos"
-       "List of Schemes" "Lista de esquemas"
+       "List of Charts" "Índice de diagramas"
+       "List of Graphs" "Índice de gráficos"
+       "List of Schemes" "Índice de esquemas"

        "List of Tableaux" "Índice de Tableaux"
        "List of Tableaux" "Índice de Tableaux"

+       "Listing" "Listado"
+       "Listings[[List of Listings]]" "Listings"

        "Notation" "Notación"
        "Note" "Nota"
        "Problem" "Problema"
        "Proof" "Demostración"
        "Notation" "Notación"
        "Note" "Nota"
        "Problem" "Problema"
        "Proof" "Demostración"

+       "Property" "Propiedad"

        "Proposition" "Proposición"
        "Question" "Pregunta"
        "Remark" "Observación"
        "Scheme" "Esquema"
        "Proposition" "Proposición"
        "Question" "Pregunta"
        "Remark" "Observación"
        "Scheme" "Esquema"

+       "Solution" "Solución"

        "Summary" "Resumen"
        "Tableau" "Tableau"
        "Theorem" "Teorema"
        "Summary" "Resumen"
        "Tableau" "Tableau"
        "Theorem" "Teorema"


@@ -367,14 +399,18 @@ Translation eu
        "List of Graphs" "Grafikoen zerrenda"
        "List of Schemes" "Eskemen zerrenda"
        "List of Tableaux" "Taulen zerrenda"
        "List of Graphs" "Grafikoen zerrenda"
        "List of Schemes" "Eskemen zerrenda"
        "List of Tableaux" "Taulen zerrenda"

+       "Listing" "Zerrenda"
+       "Listings[[List of Listings]]" "Listings"

        "Notation" "Notazioa"
        "Note" "Ohar"
        "Problem" "Buruketa"
        "Proof" "Frogapena"
        "Notation" "Notazioa"
        "Note" "Ohar"
        "Problem" "Buruketa"
        "Proof" "Frogapena"

+       "Property" "Jabegotza"

        "Proposition" "Proposizioa"
        "Question" "Galdera"
        "Remark" "Oharra"
        "Scheme" "Eskema"
        "Proposition" "Proposizioa"
        "Question" "Galdera"
        "Remark" "Oharra"
        "Scheme" "Eskema"

+       "Solution" "Emaitza"

        "Summary" "Laburpena"
        "Tableau" "Taula"
        "Theorem" "Teorema"
        "Summary" "Laburpena"
        "Tableau" "Taula"
        "Theorem" "Teorema"


@@ -383,10 +419,10 @@ End
 Translation fi
        "Acknowledgement" "Kiitos"
        "Algorithm" "Algoritmi"
 Translation fi
        "Acknowledgement" "Kiitos"
        "Algorithm" "Algoritmi"

-       "Assumption" "Assumption"
+       "Assumption" "Oletus"

        "Axiom" "Aksiooma"
        "Case" "Tapaus"
        "Axiom" "Aksiooma"
        "Case" "Tapaus"

-       "Chart" "Chart"
+       "Chart" "Kaavio"

        "Claim" "Väite"
        "Conclusion" "Päätelmä"
        "Condition" "Ehto"
        "Claim" "Väite"
        "Conclusion" "Päätelmä"
        "Condition" "Ehto"


@@ -397,28 +433,32 @@ Translation fi
        "Example" "Esimerkki"
        "Exercise" "Harjoitus"
        "Fact" "Fakta"
        "Example" "Esimerkki"
        "Exercise" "Harjoitus"
        "Fact" "Fakta"

-       "Graph" "Graph"
+       "Graph" "Kuvaaja"

        "Lemma" "Lemma"
        "List of Algorithms" "Algoritmien taulukko"
        "Lemma" "Lemma"
        "List of Algorithms" "Algoritmien taulukko"

-       "List of Charts" "List of Charts"
-       "List of Graphs" "List of Graphs"
-       "List of Schemes" "List of Schemes"
-       "List of Tableaux" "List of Tableaux"
+       "List of Charts" "Kaavioiden luettelo"
+       "List of Graphs" "Kuvaajien luettelo"
+       "List of Schemes" "Kuvausten lettelo"
+       "List of Tableaux" "Taulujen luettelo"
+       "Listing" "Listaus"
+       "Listings[[List of Listings]]" "Listausten luettelo"

        "Notation" "Merkintätapa"
        "Note" "Muistiinpano"
        "Problem" "Ongelma"
        "Proof" "Todistus"
        "Notation" "Merkintätapa"
        "Note" "Muistiinpano"
        "Problem" "Ongelma"
        "Proof" "Todistus"

+       "Property" "Ominaisuus"

        "Proposition" "Väittämä"
        "Question" "Kysymys"
        "Remark" "Huomautus"
        "Proposition" "Väittämä"
        "Question" "Kysymys"
        "Remark" "Huomautus"

-       "Scheme" "Scheme"
+       "Scheme" "Kuvaus"
+       "Solution" "Ratkaisu"

        "Summary" "Yhteenveto"
        "Summary" "Yhteenveto"

-       "Tableau" "Tableau"
+       "Tableau" "Taulu"

        "Theorem" "Lause"
 End
 
 Translation fr
        "Theorem" "Lause"
 End
 
 Translation fr

-       "Acknowledgement" "Remerciement"
+       "Acknowledgement" "Remerciements"

        "Algorithm" "Algorithme"
        "Assumption" "Hypothèse"
        "Axiom" "Axiome"
        "Algorithm" "Algorithme"
        "Assumption" "Hypothèse"
        "Axiom" "Axiome"


@@ -441,14 +481,18 @@ Translation fr
        "List of Graphs" "Liste des graphiques"
        "List of Schemes" "Liste des schémas"
        "List of Tableaux" "Liste des tableaux (TO)"
        "List of Graphs" "Liste des graphiques"
        "List of Schemes" "Liste des schémas"
        "List of Tableaux" "Liste des tableaux (TO)"

+       "Listing" "Listing"
+       "Listings[[List of Listings]]" "Listings"

        "Notation" "Notation"
        "Note" "Note"
        "Problem" "Problème"
        "Proof" "Preuve"
        "Notation" "Notation"
        "Note" "Note"
        "Problem" "Problème"
        "Proof" "Preuve"

+       "Property" "Propriété"

        "Proposition" "Proposition"
        "Question" "Question"
        "Remark" "Remarque"
        "Scheme" "Schéma"
        "Proposition" "Proposition"
        "Question" "Question"
        "Remark" "Remarque"
        "Scheme" "Schéma"

+       "Solution" "Solution"

        "Summary" "Résumé"
        "Tableau" "Tableau"
        "Theorem" "Théorème"
        "Summary" "Résumé"
        "Tableau" "Tableau"
        "Theorem" "Théorème"


@@ -478,14 +522,18 @@ Translation gl
        "List of Graphs" "List of Graphs"
        "List of Schemes" "List of Schemes"
        "List of Tableaux" "List of Tableaux"
        "List of Graphs" "List of Graphs"
        "List of Schemes" "List of Schemes"
        "List of Tableaux" "List of Tableaux"

+       "Listing" "Lista"
+       "Listings[[List of Listings]]" "Listings"

        "Notation" "Notación"
        "Note" "Nota"
        "Problem" "Problema"
        "Proof" "Demostración"
        "Notation" "Notación"
        "Note" "Nota"
        "Problem" "Problema"
        "Proof" "Demostración"

+       "Property" "Propriedade"

        "Proposition" "Proposición"
        "Question" "Pergunta"
        "Remark" "Observación"
        "Scheme" "Scheme"
        "Proposition" "Proposición"
        "Question" "Pergunta"
        "Remark" "Observación"
        "Scheme" "Scheme"

+       "Solution" "Solución"

        "Summary" "Resumo"
        "Tableau" "Tableau"
        "Theorem" "Teorema"
        "Summary" "Resumo"
        "Tableau" "Tableau"
        "Theorem" "Teorema"


@@ -494,35 +542,39 @@ End
 Translation he
        "Acknowledgement" "הכרת תודה"
        "Algorithm" "אלגוריתם"
 Translation he
        "Acknowledgement" "הכרת תודה"
        "Algorithm" "אלגוריתם"

-       "Assumption" "Assumption"
+       "Assumption" "הנחה"

        "Axiom" "אקסיומה"
        "Axiom" "אקסיומה"

-       "Case" "×ª× ×\90×\99"
-       "Chart" "Chart"
+       "Case" "×\9eקר×\94"
+       "Chart" "תרשים"

        "Claim" "טענה"
        "Claim" "טענה"

-       "Conclusion" "Conclusion"
+       "Conclusion" "סיכום"

        "Condition" "תנאי"
        "Condition" "תנאי"

-       "Conjecture" "Conjecture"
+       "Conjecture" "השערה"

        "Corollary" "מסקנה"
        "Criterion" "קריטריון"
        "Definition" "הגדרה"
        "Example" "דוגמה"
        "Exercise" "תרגיל"
        "Fact" "עובדה"
        "Corollary" "מסקנה"
        "Criterion" "קריטריון"
        "Definition" "הגדרה"
        "Example" "דוגמה"
        "Exercise" "תרגיל"
        "Fact" "עובדה"

-       "Graph" "Graph"
+       "Graph" "גרף"

        "Lemma" "למה"
        "List of Algorithms" "רשימת אלגוריתמים"
        "Lemma" "למה"
        "List of Algorithms" "רשימת אלגוריתמים"

-       "List of Charts" "List of Charts"
-       "List of Graphs" "List of Graphs"
-       "List of Schemes" "List of Schemes"
+       "List of Charts" "רשימת תרשימים"
+       "List of Graphs" "רשימת גרפים"
+       "List of Schemes" "רשימת סכמות"

        "List of Tableaux" "List of Tableaux"
        "List of Tableaux" "List of Tableaux"

-       "Notation" "Notation"
+       "Listing" "רישום קוד"
+       "Listings[[List of Listings]]" "Listings"
+       "Notation" "צורת רישום"

        "Note" "הערה"
        "Problem" "בעיה"
        "Proof" "הוכחה"
        "Note" "הערה"
        "Problem" "בעיה"
        "Proof" "הוכחה"

+       "Property" "Property"

        "Proposition" "הצעה"
        "Question" "שאלה"
        "Remark" "הערה"
        "Proposition" "הצעה"
        "Question" "שאלה"
        "Remark" "הערה"

-       "Scheme" "Scheme"
+       "Scheme" "סכמה"
+       "Solution" "פתרון"

        "Summary" "סיכום"
        "Tableau" "Tableau"
        "Theorem" "משפט"
        "Summary" "סיכום"
        "Tableau" "Tableau"
        "Theorem" "משפט"


@@ -534,8 +586,8 @@ Translation hu
        "Assumption" "Feltevés"
        "Axiom" "Axióma"
        "Case" "Eset"
        "Assumption" "Feltevés"
        "Axiom" "Axióma"
        "Case" "Eset"

-       "Chart" "Grafikon"
-       "Claim" "Követelés"
+       "Chart" "Diagram"
+       "Claim" "Igény"

        "Conclusion" "Következtetés"
        "Condition" "Feltétel"
        "Conjecture" "Feltevés"
        "Conclusion" "Következtetés"
        "Condition" "Feltétel"
        "Conjecture" "Feltevés"


@@ -543,23 +595,27 @@ Translation hu
        "Criterion" "Kritérium"
        "Definition" "Definíció"
        "Example" "Példa"
        "Criterion" "Kritérium"
        "Definition" "Definíció"
        "Example" "Példa"

-       "Exercise" "Feladat"
+       "Exercise" "Gyakorlat"

        "Fact" "Tény"
        "Fact" "Tény"

-       "Graph" "Grafika"
+       "Graph" "Grafikon"

        "Lemma" "Segédtétel"
        "List of Algorithms" "Algoritmusok listája"
        "Lemma" "Segédtétel"
        "List of Algorithms" "Algoritmusok listája"

-       "List of Charts" "Grafikonok listája"
-       "List of Graphs" "Ábrák listája"
+       "List of Charts" "Diagramok listája"
+       "List of Graphs" "Grafikonok listája"

        "List of Schemes" "Sémák listája"
        "List of Tableaux" "Csoportképek listája"
        "List of Schemes" "Sémák listája"
        "List of Tableaux" "Csoportképek listája"

+       "Listing" "Lista"
+       "Listings[[List of Listings]]" "Listings"

        "Notation" "Jelölés"
        "Note" "Megjegyzés"
        "Problem" "Probléma"
        "Proof" "Bizonyítás"
        "Notation" "Jelölés"
        "Note" "Megjegyzés"
        "Problem" "Probléma"
        "Proof" "Bizonyítás"

-       "Proposition" "Javaslat"
+       "Property" "Tulajdonság"
+       "Proposition" "Állítás"

        "Question" "Kérdés"
        "Remark" "Észrevétel"
        "Scheme" "Séma"
        "Question" "Kérdés"
        "Remark" "Észrevétel"
        "Scheme" "Séma"

+       "Solution" "Megoldás"

        "Summary" "Összegzés"
        "Tableau" "Csoportkép"
        "Theorem" "Tétel"
        "Summary" "Összegzés"
        "Tableau" "Csoportkép"
        "Theorem" "Tétel"


@@ -589,14 +645,18 @@ Translation ia
        "List of Graphs" "Lista de graphicos"
        "List of Schemes" "Lista de schemas"
        "List of Tableaux" "Lista de tableau"
        "List of Graphs" "Lista de graphicos"
        "List of Schemes" "Lista de schemas"
        "List of Tableaux" "Lista de tableau"

+       "Listing" "Listar"
+       "Listings[[List of Listings]]" "Listings"

        "Notation" "Notation"
        "Note" "Nota"
        "Problem" "Problema"
        "Proof" "Demonstration"
        "Notation" "Notation"
        "Note" "Nota"
        "Problem" "Problema"
        "Proof" "Demonstration"

+       "Property" "Proprietate"

        "Proposition" "Proposition"
        "Question" "Question"
        "Remark" "Observation"
        "Scheme" "Schema"
        "Proposition" "Proposition"
        "Question" "Question"
        "Remark" "Observation"
        "Scheme" "Schema"

+       "Solution" "Solution"

        "Summary" "Summario"
        "Tableau" "Tableau"
        "Theorem" "Theorema"
        "Summary" "Summario"
        "Tableau" "Tableau"
        "Theorem" "Theorema"


@@ -626,14 +686,18 @@ Translation id
        "List of Graphs" "Daftar Grafik"
        "List of Schemes" "Daftar Skema"
        "List of Tableaux" "Daftar Tableaux"
        "List of Graphs" "Daftar Grafik"
        "List of Schemes" "Daftar Skema"
        "List of Tableaux" "Daftar Tableaux"

+       "Listing" "Listing"
+       "Listings[[List of Listings]]" "Listings"

        "Notation" "Notasi"
        "Note" "Nota"
        "Problem" "Masalah"
        "Proof" "Pruf"
        "Notation" "Notasi"
        "Note" "Nota"
        "Problem" "Masalah"
        "Proof" "Pruf"

+       "Property" "Properti"

        "Proposition" "Proposisi"
        "Question" "Pertanyaan"
        "Remark" "Catatan"
        "Scheme" "Skema"
        "Proposition" "Proposisi"
        "Question" "Pertanyaan"
        "Remark" "Catatan"
        "Scheme" "Skema"

+       "Solution" "Penyelesaian"

        "Summary" "Ringkasan"
        "Tableau" "Tableau"
        "Theorem" "Teorema"
        "Summary" "Ringkasan"
        "Tableau" "Tableau"
        "Theorem" "Teorema"


@@ -663,21 +727,25 @@ Translation it
        "List of Graphs" "Elenco dei grafici"
        "List of Schemes" "Elenco degli schemi"
        "List of Tableaux" "Elenco dei tableau"
        "List of Graphs" "Elenco dei grafici"
        "List of Schemes" "Elenco degli schemi"
        "List of Tableaux" "Elenco dei tableau"

+       "Listing" "Listato"
+       "Listings[[List of Listings]]" "Elenco dei listati"

        "Notation" "Notazione"
        "Note" "Nota"
        "Problem" "Problema"
        "Proof" "Dimostrazione"
        "Notation" "Notazione"
        "Note" "Nota"
        "Problem" "Problema"
        "Proof" "Dimostrazione"

+       "Property" "Proprietà"

        "Proposition" "Proposizione"
        "Question" "Questione"
        "Remark" "Osservazione"
        "Scheme" "Schema"
        "Proposition" "Proposizione"
        "Question" "Questione"
        "Remark" "Osservazione"
        "Scheme" "Schema"

+       "Solution" "Soluzione"

        "Summary" "Sommario"
        "Tableau" "Tableau"
        "Theorem" "Teorema"
 End
 
 Translation ja
        "Summary" "Sommario"
        "Tableau" "Tableau"
        "Theorem" "Teorema"
 End
 
 Translation ja

-       "Acknowledgement" "謝辞(Acknowledgement)"
+       "Acknowledgement" "謝辞"

        "Algorithm" "アルゴリズム"
        "Assumption" "仮定"
        "Axiom" "公理"
        "Algorithm" "アルゴリズム"
        "Assumption" "仮定"
        "Axiom" "公理"


@@ -700,14 +768,18 @@ Translation ja
        "List of Graphs" "グラフ一覧"
        "List of Schemes" "スキーム一覧"
        "List of Tableaux" "絵画一覧"
        "List of Graphs" "グラフ一覧"
        "List of Schemes" "スキーム一覧"
        "List of Tableaux" "絵画一覧"

+       "Listing" "リスト"
+       "Listings[[List of Listings]]" "Listings"

        "Notation" "記法"
        "Note" "注釈"
        "Problem" "問題"
        "Proof" "証明"
        "Notation" "記法"
        "Note" "注釈"
        "Problem" "問題"
        "Proof" "証明"

+       "Property" "性質"

        "Proposition" "命題"
        "Question" "問題"
        "Remark" "所見"
        "Scheme" "スキーム"
        "Proposition" "命題"
        "Question" "問題"
        "Remark" "所見"
        "Scheme" "スキーム"

+       "Solution" "解"

        "Summary" "要約"
        "Tableau" "絵画"
        "Theorem" "定理"
        "Summary" "要約"
        "Tableau" "絵画"
        "Theorem" "定理"


@@ -756,7 +828,7 @@ Translation nb
        "Assumption" "Antagelse"
        "Axiom" "Aksiom"
        "Case" "Tilfelle"
        "Assumption" "Antagelse"
        "Axiom" "Aksiom"
        "Case" "Tilfelle"

-       "Chart" "Chart"
+       "Chart" "Diagram"

        "Claim" "Påstand"
        "Conclusion" "Konklusjon"
        "Condition" "Forutsetning"
        "Claim" "Påstand"
        "Conclusion" "Konklusjon"
        "Condition" "Forutsetning"


@@ -765,67 +837,75 @@ Translation nb
        "Criterion" "Kriterie"
        "Definition" "Definisjon"
        "Example" "Eksempel"
        "Criterion" "Kriterie"
        "Definition" "Definisjon"
        "Example" "Eksempel"

-       "Exercise" "Øvelse"
+       "Exercise" "Oppgave"

        "Fact" "Faktum"
        "Fact" "Faktum"

-       "Graph" "Graph"
+       "Graph" "Graf"

        "Lemma" "Lemma"
        "Lemma" "Lemma"

-       "List of Algorithms" "Liste over algoritmer"
-       "List of Charts" "List of Charts"
-       "List of Graphs" "List of Graphs"
-       "List of Schemes" "List of Schemes"
-       "List of Tableaux" "List of Tableaux"
+       "List of Algorithms" "Algoritmer"
+       "List of Charts" "Diagrammer"
+       "List of Graphs" "Grafer"
+       "List of Schemes" "Struktruformler"
+       "List of Tableaux" "Tablåer"
+       "Listing" "«Listing»"
+       "Listings[[List of Listings]]" "Listings"

        "Notation" "Notasjon"
        "Notation" "Notasjon"

-       "Note" "Note"
+       "Note" "Merknad"

        "Problem" "Problem"
        "Proof" "Bevis"
        "Problem" "Problem"
        "Proof" "Bevis"

+       "Property" "Egenskap"

        "Proposition" "Proposisjon"
        "Question" "Spørsmål"
        "Remark" "Merknad"
        "Proposition" "Proposisjon"
        "Question" "Spørsmål"
        "Remark" "Merknad"

-       "Scheme" "Scheme"
+       "Scheme" "Strukturformel"
+       "Solution" "Løsning"

        "Summary" "Sammendrag"
        "Summary" "Sammendrag"

-       "Tableau" "Tableau"
+       "Tableau" "Tablå"

        "Theorem" "Teorem"
 End
 
 Translation nl
        "Theorem" "Teorem"
 End
 
 Translation nl

-       "Acknowledgement" "Acknowledgement"
-       "Algorithm" "Algorithm"
-       "Assumption" "Assumption"
+       "Acknowledgement" "Dankwoord"
+       "Algorithm" "Algoritme"
+       "Assumption" "Aanname"

        "Axiom" "Axioma"
        "Axiom" "Axioma"

-       "Case" "Casus"
-       "Chart" "Chart"
-       "Claim" "Claim"
+       "Case" "Geval"
+       "Chart" "Grafiek"
+       "Claim" "Bewering"

        "Conclusion" "Conclusie"
        "Conclusion" "Conclusie"

-       "Condition" "Condition"
-       "Conjecture" "Conjecture"
-       "Corollary" "Corollary"
-       "Criterion" "Criterion"
+       "Condition" "Voorwaarde"
+       "Conjecture" "Vermoeden"
+       "Corollary" "Gevolg"
+       "Criterion" "Kriterium"

        "Definition" "Definitie"
        "Example" "Voorbeeld"
        "Exercise" "Oefening"
        "Fact" "Feit"
        "Definition" "Definitie"
        "Example" "Voorbeeld"
        "Exercise" "Oefening"
        "Fact" "Feit"

-       "Graph" "Graph"
+       "Graph" "Grafiek"

        "Lemma" "Lemma"
        "Lemma" "Lemma"

-       "List of Algorithms" "List of Algorithms"
-       "List of Charts" "List of Charts"
-       "List of Graphs" "List of Graphs"
-       "List of Schemes" "List of Schemes"
-       "List of Tableaux" "List of Tableaux"
-       "Notation" "Notation"
-       "Note" "Notitie"
-       "Problem" "Problem"
-       "Proof" "Proof"
-       "Proposition" "Proposition"
-       "Question" "Question"
+       "List of Algorithms" "Algoritmelijst"
+       "List of Charts" "Kaartenlijst"
+       "List of Graphs" "Grafiekenlijst"
+       "List of Schemes" "Schema-lijst"
+       "List of Tableaux" "Lijst van Tableaus"
+       "Listing" "Opsomming"
+       "Listings[[List of Listings]]" "Listings"
+       "Notation" "Notatie"
+       "Note" "Noot"
+       "Problem" "Opgave"
+       "Proof" "Bewijs"
+       "Property" "Eigenschap"
+       "Proposition" "Propositie"
+       "Question" "Vraag"

        "Remark" "Opmerking"
        "Remark" "Opmerking"

-       "Scheme" "Scheme"
+       "Scheme" "Schema"
+       "Solution" "Oplossing"

        "Summary" "Samenvatting"
        "Tableau" "Tableau"
        "Summary" "Samenvatting"
        "Tableau" "Tableau"

-       "Theorem" "Theorem"
+       "Theorem" "Stelling"

 End
 
 Translation nn
 End
 
 Translation nn

-       "Acknowledgement" "Takk til"
+       "Acknowledgement" "Takk"

        "Algorithm" "Algoritme"
        "Assumption" "Asumpsjon"
        "Axiom" "Aksiom"
        "Algorithm" "Algoritme"
        "Assumption" "Asumpsjon"
        "Axiom" "Aksiom"


@@ -841,21 +921,25 @@ Translation nn
        "Example" "Døme"
        "Exercise" "Øving"
        "Fact" "Faktum"
        "Example" "Døme"
        "Exercise" "Øving"
        "Fact" "Faktum"

-       "Graph" "Grafar"
+       "Graph" "Graf"

        "Lemma" "Lemma"
        "List of Algorithms" "Liste over algoritmer"
        "List of Charts" "Liste over diagram"
        "List of Graphs" "Liste over grafar"
        "List of Schemes" "Liste over skjema"
        "List of Tableaux" "Liste over tablå"
        "Lemma" "Lemma"
        "List of Algorithms" "Liste over algoritmer"
        "List of Charts" "Liste over diagram"
        "List of Graphs" "Liste over grafar"
        "List of Schemes" "Liste over skjema"
        "List of Tableaux" "Liste over tablå"

+       "Listing" "Kodeliste"
+       "Listings[[List of Listings]]" "Listings"

        "Notation" "Notasjon"
        "Note" "Notis"
        "Problem" "Problem"
        "Proof" "Prov"
        "Notation" "Notasjon"
        "Note" "Notis"
        "Problem" "Problem"
        "Proof" "Prov"

+       "Property" "Eigenskapar"

        "Proposition" "Framlegg"
        "Question" "Spørsmål"
        "Remark" "Merknad"
        "Scheme" "Skjema"
        "Proposition" "Framlegg"
        "Question" "Spørsmål"
        "Remark" "Merknad"
        "Scheme" "Skjema"

+       "Solution" "Løysing"

        "Summary" "Samandrag"
        "Tableau" "Tablå"
        "Theorem" "Teorem"
        "Summary" "Samandrag"
        "Tableau" "Tablå"
        "Theorem" "Teorem"


@@ -867,7 +951,7 @@ Translation pl
        "Assumption" "Assumption"
        "Axiom" "Aksjomat"
        "Case" "Przypadek"
        "Assumption" "Assumption"
        "Axiom" "Aksjomat"
        "Case" "Przypadek"

-       "Chart" "Chart"
+       "Chart" "Diagram"

        "Claim" "Stwierdzenie"
        "Conclusion" "Konkluzja"
        "Condition" "Warunek"
        "Claim" "Stwierdzenie"
        "Conclusion" "Konkluzja"
        "Condition" "Warunek"


@@ -878,21 +962,25 @@ Translation pl
        "Example" "Przykład"
        "Exercise" "Ćwiczenie"
        "Fact" "Fakt"
        "Example" "Przykład"
        "Exercise" "Ćwiczenie"
        "Fact" "Fakt"

-       "Graph" "Graph"
+       "Graph" "Graf"

        "Lemma" "Lemat"
        "List of Algorithms" "Lista algorytmów"
        "Lemma" "Lemat"
        "List of Algorithms" "Lista algorytmów"

-       "List of Charts" "List of Charts"
-       "List of Graphs" "List of Graphs"
-       "List of Schemes" "List of Schemes"
+       "List of Charts" "Lista diagramów"
+       "List of Graphs" "Lista grafów"
+       "List of Schemes" "Lista schematów"

        "List of Tableaux" "List of Tableaux"
        "List of Tableaux" "List of Tableaux"

+       "Listing" "Listing"
+       "Listings[[List of Listings]]" "Listings"

        "Notation" "Notacja"
        "Note" "Notka"
        "Problem" "Problem"
        "Proof" "Dowód"
        "Notation" "Notacja"
        "Note" "Notka"
        "Problem" "Problem"
        "Proof" "Dowód"

+       "Property" "Własność"

        "Proposition" "Propozycja"
        "Question" "Pytanie"
        "Remark" "Uwaga"
        "Proposition" "Propozycja"
        "Question" "Pytanie"
        "Remark" "Uwaga"

-       "Scheme" "Scheme"
+       "Scheme" "Schemat"
+       "Solution" "Rozwiązanie"

        "Summary" "Podsumowanie"
        "Tableau" "Tableau"
        "Theorem" "Twierdzenie"
        "Summary" "Podsumowanie"
        "Tableau" "Tableau"
        "Theorem" "Twierdzenie"


@@ -904,7 +992,7 @@ Translation pt
        "Assumption" "Assumpção"
        "Axiom" "Axioma"
        "Case" "Caso"
        "Assumption" "Assumpção"
        "Axiom" "Axioma"
        "Case" "Caso"

-       "Chart" "Chart"
+       "Chart" "Mapa"

        "Claim" "Afirmação"
        "Conclusion" "Conclusão"
        "Condition" "Condição"
        "Claim" "Afirmação"
        "Conclusion" "Conclusão"
        "Condition" "Condição"


@@ -918,56 +1006,69 @@ Translation pt
        "Graph" "Gráfico"
        "Lemma" "Lema"
        "List of Algorithms" "Lista de Algoritmos"
        "Graph" "Gráfico"
        "Lemma" "Lema"
        "List of Algorithms" "Lista de Algoritmos"

-       "List of Charts" "List of Charts"
+       "List of Charts" "Lista de Mapas"

        "List of Graphs" "Lista de Gráficos"
        "List of Graphs" "Lista de Gráficos"

-       "List of Schemes" "List of Schemes"
+       "List of Schemes" "Lista de Esquemas"

        "List of Tableaux" "Lista de Quadros"
        "List of Tableaux" "Lista de Quadros"

+       "Listing" "Listagem"
+       "Listings[[List of Listings]]" "Listings"

        "Notation" "Notação"
        "Note" "Nota"
        "Problem" "Problema"
        "Proof" "Prova"
        "Notation" "Notação"
        "Note" "Nota"
        "Problem" "Problema"
        "Proof" "Prova"

+       "Property" "Propriedade"

        "Proposition" "Proposição"
        "Question" "Questão"
        "Remark" "Observação"
        "Proposition" "Proposição"
        "Question" "Questão"
        "Remark" "Observação"

-       "Scheme" "Scheme"
+       "Scheme" "Esquema"
+       "Solution" "Solução"

        "Summary" "Sumário"
        "Tableau" "Quadro"
        "Theorem" "Teorema"
 End
 
        "Summary" "Sumário"
        "Tableau" "Quadro"
        "Theorem" "Teorema"
 End
 

+Translation pt_BR
+       "Assumption" "Suposição"
+       "Fact" "Fato"
+End
+

 Translation ro
 Translation ro

-       "Acknowledgement" "Acknowledgement"
+       "Acknowledgement" "Mulțumiri"

        "Algorithm" "Algoritm"
        "Algorithm" "Algoritm"

-       "Assumption" "Supoziţie"
+       "Assumption" "Ipoteză"

        "Axiom" "Axiomă"
        "Case" "Caz"
        "Axiom" "Axiomă"
        "Case" "Caz"

-       "Chart" "Tabel"
-       "Claim" "Declaraţie"
+       "Chart" "Diagramă"
+       "Claim" "Afirmație"

        "Conclusion" "Concluzie"
        "Conclusion" "Concluzie"

-       "Condition" "Condiţie"
-       "Conjecture" "Conjectură"
+       "Condition" "Condiție"
+       "Conjecture" "Presupunere"

        "Corollary" "Corolar"
        "Criterion" "Criteriu"
        "Corollary" "Corolar"
        "Criterion" "Criteriu"

-       "Definition" "Definiţie"
+       "Definition" "Definiție"

        "Example" "Exemplu"
        "Example" "Exemplu"

-       "Exercise" "Exerciţiu"
+       "Exercise" "Exercițiu"

        "Fact" "Fapt"
        "Graph" "Grafic"
        "Lemma" "Lemă"
        "List of Algorithms" "Listă de Algoritmi"
        "Fact" "Fapt"
        "Graph" "Grafic"
        "Lemma" "Lemă"
        "List of Algorithms" "Listă de Algoritmi"

-       "List of Charts" "Listă de Tabele"
-       "List of Graphs" "Listă de grafice"
+       "List of Charts" "Listă de Diagrame"
+       "List of Graphs" "Listă de Grafice"

        "List of Schemes" "Listă de Scheme"
        "List of Tableaux" "Listă de Tabele"
        "List of Schemes" "Listă de Scheme"
        "List of Tableaux" "Listă de Tabele"

-       "Notation" "Notaţie"
+       "Listing" "Listare"
+       "Listings[[List of Listings]]" "Listings"
+       "Notation" "Notație"

        "Note" "Notă"
        "Problem" "Problemă"
        "Note" "Notă"
        "Problem" "Problemă"

-       "Proof" "Demonstraţie"
-       "Proposition" "Propoziţie"
+       "Proof" "Demonstrație"
+       "Property" "Proprietate"
+       "Proposition" "Propoziție"

        "Question" "Întrebare"
        "Remark" "Remarcă"
        "Scheme" "Schemă"
        "Question" "Întrebare"
        "Remark" "Remarcă"
        "Scheme" "Schemă"

-       "Summary" "Sumar"
+       "Solution" "Soluție"
+       "Summary" "Rezumat"

        "Tableau" "Tabel"
        "Theorem" "Teoremă"
 End
        "Tableau" "Tabel"
        "Theorem" "Teoremă"
 End


@@ -995,17 +1096,21 @@ Translation ru
        "List of Charts" "Список чертежей"
        "List of Graphs" "Список графиков"
        "List of Schemes" "Список схем"
        "List of Charts" "Список чертежей"
        "List of Graphs" "Список графиков"
        "List of Schemes" "Список схем"

-       "List of Tableaux" "List of Tableaux"
+       "List of Tableaux" "Список таблиц"
+       "Listing" "Листинг"
+       "Listings[[List of Listings]]" "Listings"

        "Notation" "Нотация"
        "Note" "Заметка"
        "Problem" "Проблема"
        "Proof" "Доказательство"
        "Notation" "Нотация"
        "Note" "Заметка"
        "Problem" "Проблема"
        "Proof" "Доказательство"

+       "Property" "Свойство"

        "Proposition" "Предложение"
        "Question" "Вопрос"
        "Remark" "Замечание"
        "Scheme" "Схема"
        "Proposition" "Предложение"
        "Question" "Вопрос"
        "Remark" "Замечание"
        "Scheme" "Схема"

+       "Solution" "Решение"

        "Summary" "Сводка"
        "Summary" "Сводка"

-       "Tableau" "Tableau"
+       "Tableau" "Таблица"

        "Theorem" "Теорема"
 End
 
        "Theorem" "Теорема"
 End
 


@@ -1033,14 +1138,18 @@ Translation sk
        "List of Graphs" "Zoznam grafík"
        "List of Schemes" "Zoznam náčrtkov"
        "List of Tableaux" "Zoznam tablov"
        "List of Graphs" "Zoznam grafík"
        "List of Schemes" "Zoznam náčrtkov"
        "List of Tableaux" "Zoznam tablov"

+       "Listing" "Výpis"
+       "Listings[[List of Listings]]" "Zoznam výpisov"

        "Notation" "Notácia"
        "Note" "Poznámka"
        "Problem" "Problém"
        "Proof" "Dôkaz"
        "Notation" "Notácia"
        "Note" "Poznámka"
        "Problem" "Problém"
        "Proof" "Dôkaz"

+       "Property" "Vlastnosť"

        "Proposition" "Tvrdenie"
        "Question" "Otázka"
        "Remark" "Pripomienka"
        "Scheme" "Náčrtok"
        "Proposition" "Tvrdenie"
        "Question" "Otázka"
        "Remark" "Pripomienka"
        "Scheme" "Náčrtok"

+       "Solution" "Riešenie"

        "Summary" "Súhrn"
        "Tableau" "Tablo"
        "Theorem" "Teoréma"
        "Summary" "Súhrn"
        "Tableau" "Tablo"
        "Theorem" "Teoréma"


@@ -1088,40 +1197,44 @@ Translation sr
        "Algorithm" "Algoritam"
        "Assumption" "Pretpostavka"
        "Axiom" "Aksiom"
        "Algorithm" "Algoritam"
        "Assumption" "Pretpostavka"
        "Axiom" "Aksiom"

-       "Case" "Case"
-       "Chart" "Chart"
+       "Case" "Slučaj"
+       "Chart" "Dijagram"

        "Claim" "Tvrdnja"
        "Conclusion" "Zaključak"
        "Condition" "Uslov"
        "Conjecture" "Pretpostavka"
        "Corollary" "Posledica"
        "Claim" "Tvrdnja"
        "Conclusion" "Zaključak"
        "Condition" "Uslov"
        "Conjecture" "Pretpostavka"
        "Corollary" "Posledica"

-       "Criterion" "Criterion"
+       "Criterion" "Kriterijum"

        "Definition" "Definicija"
        "Example" "Primer"
        "Exercise" "Vežba"
        "Fact" "Činjenica"
        "Definition" "Definicija"
        "Example" "Primer"
        "Exercise" "Vežba"
        "Fact" "Činjenica"

-       "Graph" "Graph"
+       "Graph" "Grafikon"

        "Lemma" "Lemma"
        "Lemma" "Lemma"

-       "List of Algorithms" "Spisak algoritama"
-       "List of Charts" "List of Charts"
-       "List of Graphs" "List of Graphs"
-       "List of Schemes" "Lista Šema"
-       "List of Tableaux" "List of Tableaux"
+       "List of Algorithms" "Spisak Algoritama"
+       "List of Charts" "Spisak Dijagrama"
+       "List of Graphs" "Spisak Grafikona"
+       "List of Schemes" "Spisak Šema"
+       "List of Tableaux" "Spisak Tabela "
+       "Listing" "Listing"
+       "Listings[[List of Listings]]" "Listings"

        "Notation" "Zabeleška"
        "Note" "Napomena"
        "Problem" "Problem"
        "Proof" "Dokaz"
        "Notation" "Zabeleška"
        "Note" "Napomena"
        "Problem" "Problem"
        "Proof" "Dokaz"

+       "Property" "Osobina"

        "Proposition" "Predlog"
        "Question" "Pitanje"
        "Remark" "Napomena"
        "Scheme" "Šema"
        "Proposition" "Predlog"
        "Question" "Pitanje"
        "Remark" "Napomena"
        "Scheme" "Šema"

+       "Solution" "Rešenje"

        "Summary" "Rezime"
        "Summary" "Rezime"

-       "Tableau" "Tableau"
+       "Tableau" "Tabela"

        "Theorem" "Teorema"
 End
 
 Translation sv
        "Theorem" "Teorema"
 End
 
 Translation sv

-       "Acknowledgement" "Erkännande"
+       "Acknowledgement" "Tacksägelse"

        "Algorithm" "Algoritm"
        "Assumption" "Antagande"
        "Axiom" "Axiom"
        "Algorithm" "Algoritm"
        "Assumption" "Antagande"
        "Axiom" "Axiom"


@@ -1136,7 +1249,7 @@ Translation sv
        "Definition" "Definition"
        "Example" "Exempel"
        "Exercise" "Övning"
        "Definition" "Definition"
        "Example" "Exempel"
        "Exercise" "Övning"

-       "Fact" "Fakta"
+       "Fact" "Faktum"

        "Graph" "Graf"
        "Lemma" "Lemma"
        "List of Algorithms" "Lista över algoritmer"
        "Graph" "Graf"
        "Lemma" "Lemma"
        "List of Algorithms" "Lista över algoritmer"


@@ -1144,14 +1257,18 @@ Translation sv
        "List of Graphs" "Lista över grafer"
        "List of Schemes" "Lista över scheman"
        "List of Tableaux" "Lista över tablåer"
        "List of Graphs" "Lista över grafer"
        "List of Schemes" "Lista över scheman"
        "List of Tableaux" "Lista över tablåer"

+       "Listing" "Listning"
+       "Listings[[List of Listings]]" "Listings"

        "Notation" "Notation"
        "Note" "Not"
        "Problem" "Problem"
        "Proof" "Bevis"
        "Notation" "Notation"
        "Note" "Not"
        "Problem" "Problem"
        "Proof" "Bevis"

+       "Property" "Egenskap"

        "Proposition" "Proposition"
        "Question" "Fråga"
        "Remark" "Anmärkning"
        "Scheme" "Schema"
        "Proposition" "Proposition"
        "Question" "Fråga"
        "Remark" "Anmärkning"
        "Scheme" "Schema"

+       "Solution" "Lösning"

        "Summary" "Sammanfattning"
        "Tableau" "Tablå"
        "Theorem" "Teorem"
        "Summary" "Sammanfattning"
        "Tableau" "Tablå"
        "Theorem" "Teorem"


@@ -1181,14 +1298,18 @@ Translation tr
        "List of Graphs" "List of Graphs"
        "List of Schemes" "Plan Listesi"
        "List of Tableaux" "Tablo Listesi"
        "List of Graphs" "List of Graphs"
        "List of Schemes" "Plan Listesi"
        "List of Tableaux" "Tablo Listesi"

+       "Listing" "Liste"
+       "Listings[[List of Listings]]" "Listings"

        "Notation" "Notasyon"
        "Note" "Not"
        "Problem" "Problem"
        "Proof" "İspat"
        "Notation" "Notasyon"
        "Note" "Not"
        "Problem" "Problem"
        "Proof" "İspat"

+       "Property" "Özellik"

        "Proposition" "Önerme"
        "Question" "Soru"
        "Remark" "Açıklama"
        "Scheme" "Plan"
        "Proposition" "Önerme"
        "Question" "Soru"
        "Remark" "Açıklama"
        "Scheme" "Plan"

+       "Solution" "Çözüm"

        "Summary" "Özet"
        "Tableau" "Tablo"
        "Theorem" "Teorem"
        "Summary" "Özet"
        "Tableau" "Tablo"
        "Theorem" "Teorem"


@@ -1218,14 +1339,18 @@ Translation uk
        "List of Graphs" "Список графіків"
        "List of Schemes" "Список схем"
        "List of Tableaux" "Список табло"
        "List of Graphs" "Список графіків"
        "List of Schemes" "Список схем"
        "List of Tableaux" "Список табло"

+       "Listing" "Текст програми"
+       "Listings[[List of Listings]]" "Listings"

        "Notation" "Позначення"
        "Note" "Примітка"
        "Problem" "Проблема"
        "Proof" "На коректуру"
        "Notation" "Позначення"
        "Note" "Примітка"
        "Problem" "Проблема"
        "Proof" "На коректуру"

+       "Property" "Властивість"

        "Proposition" "Твердження"
        "Question" "Питання"
        "Remark" "Помітка"
        "Scheme" "Scheme"
        "Proposition" "Твердження"
        "Question" "Питання"
        "Remark" "Помітка"
        "Scheme" "Scheme"

+       "Solution" "Розчин"

        "Summary" "Зведення"
        "Tableau" "Табло"
        "Theorem" "Теорема"
        "Summary" "Зведення"
        "Tableau" "Табло"
        "Theorem" "Теорема"


@@ -1234,37 +1359,41 @@ End
 Translation zh_CN
        "Acknowledgement" "致谢"
        "Algorithm" "算法"
 Translation zh_CN
        "Acknowledgement" "致谢"
        "Algorithm" "算法"

-       "Assumption" "Assumption"
-       "Axiom" "Axiom"
-       "Case" "Case"
+       "Assumption" "假设"
+       "Axiom" "公理"
+       "Case" "项目"

        "Chart" "图表"
        "Chart" "图表"

-       "Claim" "Claim"
+       "Claim" "声明"

        "Conclusion" "结论"
        "Condition" "条件"
        "Conjecture" "猜想"
        "Conclusion" "结论"
        "Condition" "条件"
        "Conjecture" "猜想"

-       "Corollary" "Corollary"
-       "Criterion" "Criterion"
+       "Corollary" "推论"
+       "Criterion" "准则"

        "Definition" "定义"
        "Definition" "定义"

-       "Example" "示例"
+       "Example" "例"

        "Exercise" "练习"
        "Exercise" "练习"

-       "Fact" "Fact"
+       "Fact" "事实"

        "Graph" "图形"
        "Lemma" "引理"
        "List of Algorithms" "算法列表"
        "List of Charts" "图表列表"
        "List of Graphs" "图形列表"
        "Graph" "图形"
        "Lemma" "引理"
        "List of Algorithms" "算法列表"
        "List of Charts" "图表列表"
        "List of Graphs" "图形列表"

-       "List of Schemes" "List of Schemes"
-       "List of Tableaux" "List of Tableaux"
-       "Notation" "Notation"
+       "List of Schemes" "方案列表"
+       "List of Tableaux" "场景列表"
+       "Listing" "列表"
+       "Listings[[List of Listings]]" "Listings"
+       "Notation" "记号"

        "Note" "备忘"
        "Problem" "问题"
        "Proof" "证明"
        "Note" "备忘"
        "Problem" "问题"
        "Proof" "证明"

-       "Proposition" "Propositio"
+       "Property" "属性"
+       "Proposition" "命题"

        "Question" "问题"
        "Question" "问题"

-       "Remark" "Remark"
-       "Scheme" "Scheme"
-       "Summary" "摘要"
-       "Tableau" "Tableau"
+       "Remark" "注"
+       "Scheme" "方案"
+       "Solution" "解答"
+       "Summary" "小结"
+       "Tableau" "场景"

        "Theorem" "定理"
 End
 
        "Theorem" "定理"
 End
 


@@ -1292,14 +1421,18 @@ Translation zh_TW
        "List of Graphs" "List of Graphs"
        "List of Schemes" "List of Schemes"
        "List of Tableaux" "List of Tableaux"
        "List of Graphs" "List of Graphs"
        "List of Schemes" "List of Schemes"
        "List of Tableaux" "List of Tableaux"

+       "Listing" "列表"
+       "Listings[[List of Listings]]" "Listings"

        "Notation" "記法"
        "Note" "註記"
        "Problem" "問題"
        "Proof" "證明"
        "Notation" "記法"
        "Note" "註記"
        "Problem" "問題"
        "Proof" "證明"

+       "Property" "內容"

        "Proposition" "Proposition"
        "Question" "問題"
        "Remark" "備註"
        "Scheme" "Scheme"
        "Proposition" "Proposition"
        "Question" "問題"
        "Remark" "備註"
        "Scheme" "Scheme"

+       "Solution" "解決方案"

        "Summary" "概要"
        "Tableau" "Tableau"
        "Theorem" "定理"
        "Summary" "概要"
        "Tableau" "Tableau"
        "Theorem" "定理"