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" "ĺŽç"