Uwe,

it seems you recently add new layout strings to be translated in latex output,
in particular "Prop", "Property", "Solution".
its also strange that we want to translate introduced "Prop" while
letting new environment "Sol" untranslated.

this all was intended?

pavel
diff --git a/lib/layouttranslations b/lib/layouttranslations
index 085b4b7..a21c7e4 100644
--- a/lib/layouttranslations
+++ b/lib/layouttranslations
@@ -34,10 +34,13 @@ Translation ar
        "Note" "ملاحظة"
        "Problem" "مشكلة"
        "Proof" "برهان"
+       "Prop" "Prop"
+       "Property" "خاصية"
        "Proposition" "Proposition"
        "Question" "سؤال"
        "Remark" "ملاحظة"
        "Scheme" "مخطط"
+       "Solution" "حل"
        "Summary" "موجز"
        "Tableau" "جدول"
        "Theorem" "نظرية"
@@ -108,10 +111,13 @@ Translation ca
        "Note" "Nota"
        "Problem" "Problema"
        "Proof" "DemostraciĂł"
+       "Prop" "ProposiciĂł"
+       "Property" "Propietat"
        "Proposition" "ProposiciĂł"
        "Question" "QĂźestiĂł"
        "Remark" "Comentari"
        "Scheme" "Scheme"
+       "Solution" "SoluciĂł"
        "Summary" "Resum"
        "Tableau" "Tableau"
        "Theorem" "Teorema"
@@ -145,10 +151,13 @@ Translation cs
        "Note" "PoznĂĄmka"
        "Problem" "Úloha"
        "Proof" "DĹŻkaz"
+       "Prop" "Prop"
+       "Property" "Property"
        "Proposition" "TvrzenĂ­"
        "Question" "OtĂĄzka"
        "Remark" "PoznĂĄmka"
        "Scheme" "SchĂŠma"
+       "Solution" "Solution"
        "Summary" "Souhrn"
        "Tableau" "Tablo"
        "Theorem" "Věta"
@@ -182,10 +191,13 @@ Translation da
        "Note" "Notat"
        "Problem" "Problem"
        "Proof" "Bevis"
+       "Prop" "Prop"
+       "Property" "Property"
        "Proposition" "Forslag"
        "Question" "Spørgsmül"
        "Remark" "BemĂŚrkning"
        "Scheme" "Schema"
+       "Solution" "Løsning"
        "Summary" "ResumĂŠ"
        "Tableau" "Tableau"
        "Theorem" "SĂŚtning"
@@ -219,10 +231,13 @@ Translation de
        "Note" "Notiz"
        "Problem" "Problem"
        "Proof" "Beweis"
+       "Prop" "Eigenschaft"
+       "Property" "Eigenschaft"
        "Proposition" "Satz"
        "Question" "Frage"
        "Remark" "Bemerkung"
        "Scheme" "Schema"
+       "Solution" "LĂśsung"
        "Summary" "Zusammenfassung"
        "Tableau" "Tableau"
        "Theorem" "Theorem"
@@ -260,10 +275,13 @@ Translation el
        "Note" "Σημείωση"
        "Problem" "Πρόβλημα"
        "Proof" "Απόδειξη"
+       "Prop" "Prop"
+       "Property" "Ιδιότητα"
        "Proposition" "Πρόταση"
        "Question" "Ερώτημα"
        "Remark" "Παρατήρηση"
        "Scheme" "Σχέδιο"
+       "Solution" "Λύση"
        "Summary" "Σύνοψη"
        "Tableau" "Ταμπλό"
        "Theorem" "Θεώρημα"
@@ -297,10 +315,13 @@ Translation en
        "Note" "Note"
        "Problem" "Problem"
        "Proof" "Proof"
+       "Prop" "Prop"
+       "Property" "Property"
        "Proposition" "Proposition"
        "Question" "Question"
        "Remark" "Remark"
        "Scheme" "Scheme"
+       "Solution" "Solution"
        "Summary" "Summary"
        "Tableau" "Tableau"
        "Theorem" "Theorem"
@@ -334,10 +355,13 @@ Translation es
        "Note" "Nota"
        "Problem" "Problema"
        "Proof" "DemostraciĂłn"
+       "Prop" "Prop"
+       "Property" "Propiedad"
        "Proposition" "ProposiciĂłn"
        "Question" "Pregunta"
        "Remark" "ObservaciĂłn"
        "Scheme" "Esquema"
+       "Solution" "SoluciĂłn"
        "Summary" "Resumen"
        "Tableau" "Tableau"
        "Theorem" "Teorema"
@@ -371,10 +395,13 @@ Translation eu
        "Note" "Ohar"
        "Problem" "Buruketa"
        "Proof" "Frogapena"
+       "Prop" "Prop"
+       "Property" "Jabegotza"
        "Proposition" "Proposizioa"
        "Question" "Galdera"
        "Remark" "Oharra"
        "Scheme" "Eskema"
+       "Solution" "Emaitza"
        "Summary" "Laburpena"
        "Tableau" "Taula"
        "Theorem" "Teorema"
@@ -408,10 +435,13 @@ Translation fi
        "Note" "Muistiinpano"
        "Problem" "Ongelma"
        "Proof" "Todistus"
+       "Prop" "Prop"
+       "Property" "Ominaisuus"
        "Proposition" "Väittämä"
        "Question" "Kysymys"
        "Remark" "Huomautus"
        "Scheme" "Scheme"
+       "Solution" "Ratkaisu"
        "Summary" "Yhteenveto"
        "Tableau" "Tableau"
        "Theorem" "Lause"
@@ -445,10 +475,13 @@ Translation fr
        "Note" "Note"
        "Problem" "Problème"
        "Proof" "Preuve"
+       "Prop" "Prop"
+       "Property" "PropriĂŠtĂŠ"
        "Proposition" "Proposition"
        "Question" "Question"
        "Remark" "Remarque"
        "Scheme" "SchĂŠma"
+       "Solution" "Solution"
        "Summary" "RĂŠsumĂŠ"
        "Tableau" "Tableau"
        "Theorem" "ThÊorème"
@@ -482,10 +515,13 @@ Translation gl
        "Note" "Nota"
        "Problem" "Problema"
        "Proof" "DemostraciĂłn"
+       "Prop" "Prop"
+       "Property" "Propriedade"
        "Proposition" "ProposiciĂłn"
        "Question" "Pergunta"
        "Remark" "ObservaciĂłn"
        "Scheme" "Scheme"
+       "Solution" "SoluciĂłn"
        "Summary" "Resumo"
        "Tableau" "Tableau"
        "Theorem" "Teorema"
@@ -519,10 +555,13 @@ Translation he
        "Note" "הערה"
        "Problem" "בעיה"
        "Proof" "הוכחה"
+       "Prop" "Prop"
+       "Property" "Property"
        "Proposition" "הצעה"
        "Question" "שאלה"
        "Remark" "הערה"
        "Scheme" "סכמה"
+       "Solution" "פתרון"
        "Summary" "סיכום"
        "Tableau" "Tableau"
        "Theorem" "משפט"
@@ -556,10 +595,13 @@ Translation hu
        "Note" "MegjegyzĂŠs"
        "Problem" "ProblĂŠma"
        "Proof" "BizonyĂ­tĂĄs"
+       "Prop" "TulajdonsĂĄg"
+       "Property" "TulajdonsĂĄg"
        "Proposition" "Állítås"
        "Question" "KĂŠrdĂŠs"
        "Remark" "Észrevétel"
        "Scheme" "SĂŠma"
+       "Solution" "MegoldĂĄs"
        "Summary" "Összegzés"
        "Tableau" "CsoportkĂŠp"
        "Theorem" "TĂŠtel"
@@ -593,10 +635,13 @@ Translation ia
        "Note" "Nota"
        "Problem" "Problema"
        "Proof" "Demonstration"
+       "Prop" "Proposition"
+       "Property" "Proprietate"
        "Proposition" "Proposition"
        "Question" "Question"
        "Remark" "Observation"
        "Scheme" "Schema"
+       "Solution" "Solution"
        "Summary" "Summario"
        "Tableau" "Tableau"
        "Theorem" "Theorema"
@@ -630,10 +675,13 @@ Translation id
        "Note" "Nota"
        "Problem" "Masalah"
        "Proof" "Pruf"
+       "Prop" "Prop"
+       "Property" "Properti"
        "Proposition" "Proposisi"
        "Question" "Pertanyaan"
        "Remark" "Catatan"
        "Scheme" "Skema"
+       "Solution" "Penyelesaian"
        "Summary" "Ringkasan"
        "Tableau" "Tableau"
        "Theorem" "Teorema"
@@ -667,10 +715,13 @@ Translation it
        "Note" "Nota"
        "Problem" "Problema"
        "Proof" "Dimostrazione"
+       "Prop" "Proposizione"
+       "Property" "ProprietĂ "
        "Proposition" "Proposizione"
        "Question" "Questione"
        "Remark" "Osservazione"
        "Scheme" "Schema"
+       "Solution" "Soluzione"
        "Summary" "Sommario"
        "Tableau" "Tableau"
        "Theorem" "Teorema"
@@ -704,10 +755,13 @@ Translation ja
        "Note" "注釈"
        "Problem" "問題"
        "Proof" "証明"
+       "Prop" "命題(Prop)"
+       "Property" "性質"
        "Proposition" "命題"
        "Question" "問題"
        "Remark" "所見"
        "Scheme" "スキーム"
+       "Solution" "解"
        "Summary" "要約"
        "Tableau" "絵画"
        "Theorem" "定理"
@@ -855,10 +909,13 @@ Translation nn
        "Note" "Notis"
        "Problem" "Problem"
        "Proof" "Prov"
+       "Prop" "Framlegg"
+       "Property" "Eigenskapar"
        "Proposition" "Framlegg"
        "Question" "Spørsmül"
        "Remark" "Merknad"
        "Scheme" "Skjema"
+       "Solution" "Løysing"
        "Summary" "Samandrag"
        "Tableau" "TablĂĽ"
        "Theorem" "Teorem"
@@ -892,10 +949,13 @@ Translation pl
        "Note" "Notka"
        "Problem" "Problem"
        "Proof" "DowĂłd"
+       "Prop" "Propozycja"
+       "Property" "Własność"
        "Proposition" "Propozycja"
        "Question" "Pytanie"
        "Remark" "Uwaga"
        "Scheme" "Schemat"
+       "Solution" "Rozwiązanie"
        "Summary" "Podsumowanie"
        "Tableau" "Tableau"
        "Theorem" "Twierdzenie"
@@ -929,10 +989,13 @@ Translation pt
        "Note" "Nota"
        "Problem" "Problema"
        "Proof" "Prova"
+       "Prop" "Prop"
+       "Property" "Propriedade"
        "Proposition" "Proposição"
        "Question" "QuestĂŁo"
        "Remark" "Observação"
        "Scheme" "Esquema"
+       "Solution" "Solução"
        "Summary" "SumĂĄrio"
        "Tableau" "Quadro"
        "Theorem" "Teorema"
@@ -971,10 +1034,13 @@ Translation ro
        "Note" "Notă"
        "Problem" "Problemă"
        "Proof" "Demonstrație"
+       "Prop" "Prop"
+       "Property" "Proprietate"
        "Proposition" "Propoziție"
        "Question" "Întrebare"
        "Remark" "Remarcă"
        "Scheme" "Schemă"
+       "Solution" "Soluție"
        "Summary" "Rezumat"
        "Tableau" "Tabel"
        "Theorem" "Teoremă"
@@ -1008,10 +1074,13 @@ Translation ru
        "Note" "Заметка"
        "Problem" "Проблема"
        "Proof" "Доказательство"
+       "Prop" "Prop"
+       "Property" "Свойство"
        "Proposition" "Предложение"
        "Question" "Вопрос"
        "Remark" "Замечание"
        "Scheme" "Схема"
+       "Solution" "Рошонио"
        "Summary" "ХвОдка"
        "Tableau" "Таблица"
        "Theorem" "Теорема"
@@ -1045,10 +1114,13 @@ Translation sk
        "Note" "PoznĂĄmka"
        "Problem" "ProblĂŠm"
        "Proof" "DĂ´kaz"
+       "Prop" "VlastnosĹĽ"
+       "Property" "VlastnĂ­ctvo"
        "Proposition" "Tvrdenie"
        "Question" "OtĂĄzka"
        "Remark" "Pripomienka"
        "Scheme" "Náčrtok"
+       "Solution" "RieĹĄenie"
        "Summary" "SĂşhrn"
        "Tableau" "Tablo"
        "Theorem" "TeorĂŠma"
@@ -1119,10 +1191,13 @@ Translation sr
        "Note" "Napomena"
        "Problem" "Problem"
        "Proof" "Dokaz"
+       "Prop" "Prop"
+       "Property" "Osobina"
        "Proposition" "Predlog"
        "Question" "Pitanje"
        "Remark" "Napomena"
        "Scheme" "Ĺ ema"
+       "Solution" "ReĹĄenje"
        "Summary" "Rezime"
        "Tableau" "Tabela"
        "Theorem" "Teorema"
@@ -1156,10 +1231,13 @@ Translation sv
        "Note" "Not"
        "Problem" "Problem"
        "Proof" "Bevis"
+       "Prop" "Prop"
+       "Property" "Egenskap"
        "Proposition" "Proposition"
        "Question" "FrĂĽga"
        "Remark" "Anmärkning"
        "Scheme" "Schema"
+       "Solution" "LĂśsning"
        "Summary" "Sammanfattning"
        "Tableau" "TablĂĽ"
        "Theorem" "Teorem"
@@ -1193,10 +1271,13 @@ Translation tr
        "Note" "Not"
        "Problem" "Problem"
        "Proof" "Ä°spat"
+       "Prop" "Öner"
+       "Property" "Özellik"
        "Proposition" "Önerme"
        "Question" "Soru"
        "Remark" "AçĹklama"
        "Scheme" "Plan"
+       "Solution" "Çözüm"
        "Summary" "Özet"
        "Tableau" "Tablo"
        "Theorem" "Teorem"
@@ -1230,10 +1311,13 @@ Translation uk
        "Note" "Примітка"
        "Problem" "Проблема"
        "Proof" "На коректуру"
+       "Prop" "Властивість"
+       "Property" "Властивість"
        "Proposition" "Твердження"
        "Question" "Питання"
        "Remark" "Помітка"
        "Scheme" "Scheme"
+       "Solution" "Розчин"
        "Summary" "Зведення"
        "Tableau" "ТайНО"
        "Theorem" "Теорема"
@@ -1267,10 +1351,13 @@ Translation zh_CN
        "Note" "备忘"
        "Problem" "问题"
        "Proof" "证明"
+       "Prop" "Prop"
+       "Property" "属性"
        "Proposition" "命题"
        "Question" "问题"
        "Remark" "注"
        "Scheme" "方案"
+       "Solution" "解答"
        "Summary" "小结"
        "Tableau" "场景"
        "Theorem" "定理"
@@ -1304,10 +1391,13 @@ Translation zh_TW
        "Note" "訝記"
        "Problem" "問題"
        "Proof" "證明"
+       "Prop" "Prop"
+       "Property" "內容"
        "Proposition" "Proposition"
        "Question" "問題"
        "Remark" "備註"
        "Scheme" "Scheme"
+       "Solution" "解決方案"
        "Summary" "概要"
        "Tableau" "Tableau"
        "Theorem" "定理"

Reply via email to