Renamed category 'Theorem' and 'Theorems' to 'Reasoning'

[lyx.git] / lib / languages

diff --git a/lib/languages b/lib/languages
index 25169dc8517fb37cd85ca88555f8a79ebba07446..1022f3cdbe77db226af5ca63373deecd8733587b 100644 (file)
--- a/lib/languages
+++ b/lib/languages
@@ -10,6 +10,7 @@
 #      PolyglossiaName    <polyglossianame>
 #      PolyglossiaOpts    "<language-specific options>"
 #      Encoding           <encoding>
+#      QuoteStyle         <danish|english|french|german|polish|swedish>
 #      InternalEncoding   <true|false>
 #      RTL                <true|false>
 #      AsBabelOptions     <true|false>
@@ -21,13 +22,24 @@
 #      PostBabelPreamble
 #        <extra latex code inserted after babel>
 #      EndPostBabelPreamble
+#      Requires           <requirement>
 # End
 #
 #
-# NOTE:
+# NOTES:
 #
 # * Omitted elements will be treated as empty (if string) or "false"
 #   (if boolean).
+# * The QuoteStyle arguments correspond to the following styles:
+#   - danish:  >>text<<  >text<   (inward guillemets)
+#   - english: ``text''  `text'   (66_99)
+#   - french:  <<text>>  <text>   (outward guillemets)
+#   - german:  ,,text``  ,text`   (99/66)
+#   - polish:  ,,text''  ,text'   (99/99)
+#   - swedish: ''text''  'text'   (99_99)
+#   Note that the option names have been selected (rather arbitrarily)
+#   because the respective styles are common in the respective countries.
+#   Of course this does not imply any fixed relation to those countries.
 # * Encoding is not relevant for XeTeX (which is utf8 always), and if
 #   Document > Settings > Language > Encoding is not set to "Language
 #   Default"
@@ -79,6 +91,7 @@ End
 Language afrikaans
        GuiName          "Afrikaans"
        BabelName        afrikaans
+       QuoteStyle       polish
        Encoding         iso8859-15
        LangCode         af_ZA
 End
@@ -87,6 +100,7 @@ Language albanian
        GuiName          "Albanian"
        BabelName        albanian
        PolyglossiaName  albanian
+       QuoteStyle       french
        Encoding         iso8859-2
        LangCode         sq_AL
 End
@@ -96,6 +110,7 @@ Language american
        BabelName        american
        PolyglossiaName  english
        PolyglossiaOpts  "variant=american"
+       QuoteStyle       english
        Encoding         iso8859-15
        LangCode         en_US
 End
@@ -105,6 +120,7 @@ Language ancientgreek
        GuiName          "Greek (ancient)"
        PolyglossiaName  greek
        PolyglossiaOpts  variant=ancient
+       QuoteStyle        french
        Encoding         iso8859-7
        LangCode         grc_GR
 End
@@ -114,6 +130,7 @@ End
 Language arabic_arabtex
        GuiName          "Arabic (ArabTeX)"
        BabelName        arabtex
+       QuoteStyle       french
        Encoding         cp1256
        RTL              true
        LangCode         ar_SA
@@ -124,8 +141,10 @@ Language arabic_arabi
        GuiName          "Arabic (Arabi)"
        BabelName        arabic
        PolyglossiaName  arabic
+       QuoteStyle       french
        Encoding         cp1256
        RTL              true
+       AsBabelOptions   true
        LangCode         ar_SA
 End
 
@@ -133,7 +152,8 @@ End
 Language armenian
        GuiName          "Armenian"
        PolyglossiaName  armenian
-       Encoding         armscii8
+       QuoteStyle       french
+       Encoding         utf8
        LangCode         hy_AM
 End
 
@@ -143,6 +163,7 @@ Language australian
        PolyglossiaName  english
        PolyglossiaOpts  "variant=australian"
        Encoding         iso8859-15
+       QuoteStyle       english
        LangCode         en_AU
 End
 
@@ -150,6 +171,7 @@ End
 Language austrian
        GuiName          "German (Austria, old spelling)"
        BabelName        austrian
+       QuoteStyle       german
        Encoding         iso8859-15
        LangCode         de_AT
 End
@@ -158,6 +180,7 @@ End
 Language naustrian
        GuiName          "German (Austria)"
        BabelName        naustrian
+       QuoteStyle       german
        Encoding         iso8859-15
        LangCode         de_AT
 End
@@ -166,6 +189,7 @@ Language bahasa
        GuiName          "Indonesian"
        BabelName        bahasa
        PolyglossiaName  bahasai
+       QuoteStyle       english
        Encoding         iso8859-15
        LangCode         id_ID
 End
@@ -174,6 +198,7 @@ Language bahasam
        GuiName          "Malay"
        BabelName        bahasam
        PolyglossiaName  bahasam
+       QuoteStyle       english
        Encoding         iso8859-15
        LangCode         ms_MY
 End
@@ -182,14 +207,19 @@ Language basque
        GuiName          "Basque"
        BabelName        basque
        PolyglossiaName  basque
+       QuoteStyle       french
        Encoding         iso8859-15
        LangCode         eu_ES
+       PostBabelPreamble
+       \addto\extrasbasque{\bbl@deactivate{~}}
+       EndPostBabelPreamble
 End
 
 # not yet supported by polyglossia
 Language belarusian
        GuiName          "Belarusian"
        BabelName        belarusian
+       QuoteStyle       french
        Encoding         cp1251
        LangCode         be_BY
 End
@@ -198,6 +228,7 @@ Language brazilian
        GuiName          "Portuguese (Brazil)"
        BabelName        brazil
        PolyglossiaName  brazil
+       QuoteStyle       english
        Encoding         iso8859-15
        LangCode         pt_BR
 End
@@ -206,6 +237,7 @@ Language breton
        GuiName          "Breton"
        BabelName        breton
        PolyglossiaName  breton
+       QuoteStyle       french
        Encoding         iso8859-15
        LangCode         br_FR
 End
@@ -215,6 +247,7 @@ Language british
        BabelName        british
        PolyglossiaName  english
        PolyglossiaOpts  "variant=british"
+       QuoteStyle       english
        Encoding         iso8859-15
        LangCode         en_GB
 End
@@ -223,6 +256,7 @@ Language bulgarian
        GuiName          "Bulgarian"
        BabelName        bulgarian
        PolyglossiaName  bulgarian
+       QuoteStyle       german
        Encoding         cp1251
        LangCode         bg_BG
 End
@@ -233,6 +267,7 @@ Language canadian
        BabelName        canadian
 #      PolyglossiaName  english
 #      PolyglossiaOpts  "variant=canadian"
+       QuoteStyle       english
        Encoding         iso8859-15
        LangCode         en_CA
 End
@@ -243,6 +278,7 @@ Language canadien
        BabelName        canadien
 #      PolyglossiaName  french
 #      PolyglossiaOpts  "variant=canadien"
+       QuoteStyle       french
        Encoding         iso8859-15
        LangCode         fr_CA
 End
@@ -252,6 +288,7 @@ Language catalan
        BabelName        catalan
        PolyglossiaName  catalan
        PolyglossiaOpts  "babelshorthands=true"
+       QuoteStyle       french
        Encoding         iso8859-15
        LangCode         ca_ES
 End
@@ -260,14 +297,18 @@ End
 Language chinese-simplified
        GuiName          "Chinese (simplified)"
        Encoding         euc-cn
+       QuoteStyle       english
        LangCode         zh_CN
+       Requires         CJK
 End
 
 # uses CJK package
 Language chinese-traditional
        GuiName         "Chinese (traditional)"
+       QuoteStyle       english
        Encoding        utf8-cjk
        LangCode        zh_CN
+       Requires         CJK
 End
 
 # not supported by babel
@@ -282,6 +323,7 @@ Language croatian
        GuiName          "Croatian"
        BabelName        croatian
        PolyglossiaName  croatian
+       QuoteStyle       polish
        Encoding         iso8859-2
        LangCode         hr_HR
 End
@@ -290,6 +332,7 @@ Language czech
        GuiName          "Czech"
        BabelName        czech
        PolyglossiaName  czech
+       QuoteStyle       german
        Encoding         iso8859-2
        LangCode         cs_CZ
 End
@@ -298,6 +341,7 @@ Language danish
        GuiName          "Danish"
        BabelName        danish
        PolyglossiaName  danish
+       QuoteStyle       danish
        Encoding         iso8859-15
        LangCode         da_DK
 End
@@ -315,6 +359,7 @@ Language dutch
        BabelName        dutch
        PolyglossiaName  dutch
        PolyglossiaOpts  "babelshorthands=true"
+       QuoteStyle       polish
        Encoding         iso8859-15
        LangCode         nl_NL
 End
@@ -323,6 +368,7 @@ Language english
        GuiName          "English"
        BabelName        english
        PolyglossiaName  english
+       QuoteStyle       english
        Encoding         iso8859-15
        LangCode         en_US
 End
@@ -333,6 +379,7 @@ Language esperanto
        GuiName          "Esperanto"
        BabelName        esperanto
        PolyglossiaName  esperanto
+       QuoteStyle       english
        Encoding         iso8859-3
        LangCode         eo_EO
 End
@@ -341,8 +388,12 @@ Language estonian
        GuiName          "Estonian"
        BabelName        estonian
        PolyglossiaName  estonian
+       QuoteStyle       polish
        Encoding         iso8859-15
        LangCode         et_EE
+       PostBabelPreamble
+       \addto\extrasestonian{\bbl@deactivate{~}}
+       EndPostBabelPreamble
 End
 
 # the preamble definitions are only used due to bugs in the
@@ -364,6 +415,7 @@ Language finnish
        GuiName          "Finnish"
        BabelName        finnish
        PolyglossiaName  finnish
+       QuoteStyle       swedish
        Encoding         iso8859-15
        LangCode         fi_FI
 End
@@ -373,6 +425,7 @@ Language french
        GuiName          "French"
        BabelName        french
        PolyglossiaName  french
+       QuoteStyle       french
        Encoding         iso8859-15
        LangCode         fr_FR
        PostBabelPreamble
@@ -387,8 +440,12 @@ Language galician
        GuiName          "Galician"
        BabelName        galician
        PolyglossiaName  galician
+       QuoteStyle       french
        Encoding         iso8859-15
        LangCode         gl_ES
+       PostBabelPreamble
+       \addto\shorthandsgalician{\galiciandeactivate{~}}
+       EndPostBabelPreamble
 End
 
 # german does not use a country code (due to the variety)
@@ -397,6 +454,7 @@ Language german
        BabelName        german
        PolyglossiaName  german
        PolyglossiaOpts  "spelling=old,babelshorthands=true"
+       QuoteStyle       german
        Encoding         iso8859-15
        LangCode         de
        LangVariety      alt
@@ -407,6 +465,7 @@ Language ngerman
        BabelName        ngerman
        PolyglossiaName  german
        PolyglossiaOpts  "babelshorthands=true"
+       QuoteStyle       german
        Encoding         iso8859-15
        LangCode         de_DE
 End
@@ -418,6 +477,7 @@ Language german-ch
        BabelName        ngerman
        PolyglossiaName  german
        PolyglossiaOpts  "babelshorthands=true"
+       QuoteStyle       danish
        Encoding         iso8859-15
        LangCode         de_CH
 End
@@ -426,6 +486,7 @@ Language greek
        GuiName           "Greek"
        BabelName         greek
        PolyglossiaName   greek
+       QuoteStyle        french
        Encoding          iso8859-7
        InternalEncoding  true
        LangCode          el_GR
@@ -436,6 +497,7 @@ Language polutonikogreek
        BabelName         polutonikogreek
        PolyglossiaName   greek
        PolyglossiaOpts   "variant=polytonic"
+       QuoteStyle        french
        Encoding          iso8859-7
        InternalEncoding  true
        LangCode          el_GR
@@ -446,6 +508,7 @@ Language hebrew
        BabelName         hebrew
        PolyglossiaName   hebrew
        Encoding          cp1255
+       QuoteStyle        english
        InternalEncoding  true
        RTL               true
        LangCode          he_IL
@@ -474,6 +537,7 @@ Language icelandic
        GuiName          "Icelandic"
        BabelName        icelandic
        PolyglossiaName  icelandic
+       QuoteStyle       german
        Encoding         iso8859-15
        LangCode         is_IS
 End
@@ -492,6 +556,7 @@ Language irish
        GuiName          "Irish"
        BabelName        irish
        PolyglossiaName  irish
+       QuoteStyle       english
        Encoding         iso8859-15
        LangCode         ga_IE
 End
@@ -500,6 +565,7 @@ Language italian
        GuiName          "Italian"
        BabelName        italian
        PolyglossiaName  italian
+       QuoteStyle       french
        Encoding         iso8859-15
        LangCode         it_IT
 End
@@ -513,6 +579,7 @@ Language japanese
        Encoding         jis-plain
        LangCode         ja_JP
        AsBabelOptions   true
+       Requires         japanese
 End
 
 # uses CJK package
@@ -520,6 +587,7 @@ Language japanese-cjk
        GuiName         "Japanese (CJK)"
        Encoding        euc-jp
        LangCode        ja_JP
+       Requires        CJK
 End
 
 # not yet supported by polyglossia
@@ -533,15 +601,18 @@ End
 Language korean
        GuiName         "Korean"
        Encoding        euc-kr
+       QuoteStyle      english
        LangCode        ko_KR
+       Requires        CJK
 End
 
-# not supported by babel
+# not yet supported by polyglossia
 Language kurmanji
        GuiName          "Kurmanji"
-       PolyglossiaName  kurmanji
+       BabelName        kurmanji
        Encoding         utf8
        LangCode         kmr
+       AsBabelOptions   true
 End
 
 # not supported by babel
@@ -568,6 +639,7 @@ Language latvian
        GuiName          "Latvian"
        BabelName        latvian
        PolyglossiaName  latvian
+       QuoteStyle       danish
        Encoding         iso8859-4
        LangCode         lv_LV
        AsBabelOptions   true
@@ -579,6 +651,7 @@ Language lithuanian
        GuiName          "Lithuanian"
        BabelName        lithuanian
        PolyglossiaName  lithuanian
+       QuoteStyle       german
        Encoding         iso8859-13
        LangCode         lt_LT
        AsBabelOptions   true
@@ -588,6 +661,7 @@ Language lowersorbian
        GuiName          "Lower Sorbian"
        BabelName        lowersorbian
        PolyglossiaName  lsorbian
+       QuoteStyle       german
        Encoding         iso8859-2
        LangCode         dsb_DE
 End
@@ -596,6 +670,7 @@ Language magyar
        GuiName          "Hungarian"
        BabelName        magyar
        PolyglossiaName  magyar
+       QuoteStyle       polish
        Encoding         iso8859-2
        LangCode         hu_HU
 End
@@ -624,6 +699,7 @@ Language newzealand
        BabelName        newzealand
        PolyglossiaName  english
        PolyglossiaOpts  "variant=newzealand"
+       QuoteStyle       english
        Encoding         iso8859-15
        LangCode         en_NZ
 End
@@ -632,6 +708,7 @@ Language norsk
        GuiName          "Norwegian (Bokmaal)"
        BabelName        norsk
        PolyglossiaName  norsk
+       QuoteStyle       french
        Encoding         iso8859-15
        LangCode         nb_NO
 End
@@ -640,6 +717,7 @@ Language nynorsk
        GuiName          "Norwegian (Nynorsk)"
        BabelName        nynorsk
        PolyglossiaName  nynorsk
+       QuoteStyle       french
        Encoding         iso8859-15
        LangCode         nn_NO
 End
@@ -648,6 +726,7 @@ End
 Language occitan
        GuiName          "Occitan"
        PolyglossiaName  occitan
+       QuoteStyle       french
        Encoding         utf8
        LangCode         oc_FR
 End
@@ -666,6 +745,7 @@ Language polish
        GuiName          "Polish"
        BabelName        polish
        PolyglossiaName  polish
+       QuoteStyle       polish
        Encoding         iso8859-2
        LangCode         pl_PL
 End
@@ -674,6 +754,7 @@ Language portuguese
        GuiName          "Portuguese"
        BabelName        portuges
        PolyglossiaName  portuges
+       QuoteStyle       english
        Encoding         iso8859-15
        LangCode         pt_PT
 End
@@ -682,6 +763,7 @@ Language romanian
        GuiName          "Romanian"
        BabelName        romanian
        PolyglossiaName  romanian
+       QuoteStyle       polish
        Encoding         iso8859-2
        LangCode         ro_RO
 End
@@ -690,6 +772,7 @@ Language russian
        GuiName          "Russian"
        BabelName        russian
        PolyglossiaName  russian
+       QuoteStyle       french
        Encoding         koi8
        LangCode         ru_RU
 End
@@ -714,6 +797,7 @@ Language scottish
        GuiName          "Scottish"
        BabelName        scottish
        PolyglossiaName  scottish
+       QuoteStyle       english
        Encoding         iso8859-15
        LangCode         gd_GB
 End
@@ -722,6 +806,7 @@ Language serbian
        GuiName          "Serbian"
        BabelName        serbian
        PolyglossiaName  serbian
+       QuoteStyle       german
        Encoding         iso8859-5
        LangCode         sr_RS
 End
@@ -731,6 +816,7 @@ Language serbian-latin
        BabelName        serbian
        PolyglossiaName  serbian
        PolyglossiaOpts  "script=latin"
+       QuoteStyle       german
        Encoding         iso8859-2
        LangCode         sr_RS
 End
@@ -739,6 +825,7 @@ Language slovak
        GuiName          "Slovak"
        BabelName        slovak
        PolyglossiaName  slovak
+       QuoteStyle       german
        Encoding         iso8859-2
        LangCode         sk_SK
 End
@@ -747,6 +834,7 @@ Language slovene
        GuiName          "Slovene"
        BabelName        slovene
        PolyglossiaName  slovenian
+       QuoteStyle       german
        Encoding         iso8859-2
        LangCode         sl_SI
 End
@@ -755,6 +843,7 @@ Language spanish
        GuiName          "Spanish"
        BabelName        spanish
        PolyglossiaName  spanish
+       QuoteStyle       french
        Encoding         iso8859-15
        LangCode         es_ES
        PostBabelPreamble
@@ -767,6 +856,7 @@ Language spanish-mexico
        GuiName          "Spanish (Mexico)"
        BabelName        spanish
        PolyglossiaName  spanish
+       QuoteStyle       french
        Encoding         iso8859-15
        LangCode         es_MX
        PostBabelPreamble
@@ -778,6 +868,7 @@ Language swedish
        GuiName          "Swedish"
        BabelName        swedish
        PolyglossiaName  swedish
+       QuoteStyle       swedish
        Encoding         iso8859-15
        LangCode         sv_SE
 End
@@ -810,6 +901,7 @@ Language thai
        GuiName          "Thai"
        BabelName        thai
        PolyglossiaName  thai
+       QuoteStyle       english
        Encoding         tis620-0
        LangCode         th_TH
        PostBabelPreamble
@@ -821,6 +913,7 @@ Language turkish
        GuiName          "Turkish"
        BabelName        turkish
        PolyglossiaName  turkish
+       QuoteStyle       french
        Encoding         iso8859-9
        LangCode         tr_TR
        PostBabelPreamble
@@ -834,6 +927,7 @@ Language turkmen
        GuiName          "Turkmen"
        BabelName        turkmen
        PolyglossiaName  turkmen
+       QuoteStyle       french
        Encoding         utf8
        LangCode         tk_TM
        AsBabelOptions   true
@@ -843,6 +937,7 @@ Language ukrainian
        GuiName          "Ukrainian"
        BabelName        ukrainian
        PolyglossiaName  ukrainian
+       QuoteStyle       french
        Encoding         koi8-u
        LangCode         uk_UA
 End
@@ -851,6 +946,7 @@ Language uppersorbian
        GuiName          "Upper Sorbian"
        BabelName        uppersorbian
        PolyglossiaName  usorbian
+       QuoteStyle       german
        Encoding         iso8859-2
        LangCode         hsb_DE
 End
@@ -870,15 +966,18 @@ Language vietnamese
        GuiName          "Vietnamese"
        BabelName        vietnam
        PolyglossiaName  vietnamese
+       QuoteStyle       french
        Encoding         utf8
        LangCode         vi_VN
        AsBabelOptions   true
+       Requires         vietnamese
 End
 
 Language welsh
        GuiName          "Welsh"
        BabelName        welsh
        PolyglossiaName  welsh
+       QuoteStyle       english
        Encoding         iso8859-15
        LangCode         cy_GB
 End