Re: New layouttranslation strings

[Pavel Sanda]

Uwe Stöhr wrote:
>>> I'm still confused. In layouttranslation there is neither Prop nor Sol.
>>> Moreover, their definition in theorems-without-preamble.inc is the same,
>>> so why appears only Prop?
>>
>> It is not the same. Prop has LangPreamble and BabelPreamble, Sol does not
>> have them.
>
> No, here are the definitions:
>
> Style Sol
>       CopyStyle       Problem
>       LabelCounter    sol
>       LatexName       sol
>       LabelString     "\thesol"
>       RequiredArgs    1
> End
>
> Style Prob

indeed, but we were talking about Prop, not Prob :)
so the 'Prop' prolem is still there.

the current diff to the current layouttranslations attached.

do we want Property and Solution inside translations?
(there is no point if we use it only in some special layout,
on the other they can be useful if they are part of some general module.)

pavel

diff --git a/lib/layouttranslations b/lib/layouttranslations
index 085b4b7..b2860e6 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" "TĂŠza(prop)"
+       "Property" "VlastnosĹĽ"
        "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" "定理"