src/tex2lyx/test/test-modules.lyx.lyx

   1 #LyX file created by tex2lyx 2.1.0dev
   2 \lyxformat 445
   3 \begin_document
   4 \begin_header
   5 \textclass amsart
   6 \begin_preamble
   7 \usepackage{babel}
   8
   9 \end_preamble
  10 \use_default_options false
  11 \begin_modules
  12 theorems-ams
  13 \end_modules
  14 \maintain_unincluded_children false
  15 \language english
  16 \language_package default
  17 \inputencoding latin9
  18 \fontencoding T1
  19 \font_roman default
  20 \font_sans default
  21 \font_typewriter default
  22 \font_math auto
  23 \font_default_family default
  24 \use_non_tex_fonts false
  25 \font_sc false
  26 \font_osf false
  27 \font_sf_scale 100
  28 \font_tt_scale 100
  29 \graphics default
  30 \default_output_format default
  31 \output_sync 0
  32 \bibtex_command default
  33 \index_command default
  34 \paperfontsize default
  35 \spacing single
  36 \use_hyperref false
  37 \papersize default
  38 \use_geometry false
  39 \use_package amsmath 1
  40 \use_package amssymb 0
  41 \use_package esint 1
  42 \use_package mathdots 0
  43 \use_package mathtools 0
  44 \use_package mhchem 0
  45 \use_package undertilde 0
  46 \cite_engine basic
  47 \cite_engine_type numerical
  48 \biblio_style plain
  49 \use_bibtopic false
  50 \use_indices false
  51 \paperorientation portrait
  52 \suppress_date false
  53 \justification true
  54 \use_refstyle 0
  55 \index Index
  56 \shortcut idx
  57 \color #008000
  58 \end_index
  59 \secnumdepth 3
  60 \tocdepth 3
  61 \paragraph_separation indent
  62 \paragraph_indentation default
  63 \quotes_language english
  64 \papercolumns 1
  65 \papersides 1
  66 \paperpagestyle default
  67 \tracking_changes false
  68 \output_changes false
  69 \html_math_output 0
  70 \html_css_as_file 0
  71 \html_be_strict false
  72 \end_header
  73
  74 \begin_body
  75
  76 \begin_layout Standard
  77
  78 This is a dummy file
  79 \end_layout
  80
  81 \begin_layout Standard
  82
  83 It has a theorem, a lemma and a proof.
  84 \end_layout
  85
  86 \begin_layout Standard
  87
  88 The theorem is recognized is a style provided by the module theorems-ams, since the preamble code matches.
  89 \end_layout
  90
  91 \begin_layout Standard
  92
  93 The lemma is not recognized as a command provided by a module, since the preamble code is from an older version of
  94 \begin_inset ERT
  95 status collapsed
  96
  97 \begin_layout Standard
  98
  99 LyX
 100 \end_layout
 101
 102 \end_inset
 103
 104 , and modules are only loaded if the preamble code matches (otherwise you could easily get completely different output for some often used names like
 105 \backslash
 106 theorem.
 107 \end_layout
 108
 109 \begin_layout Standard
 110
 111 The proof is recognized as a builtin style provided by the text class.
 112 \end_layout
 113
 114 \begin_layout Standard
 115
 116
 117 \begin_inset ERT
 118 status collapsed
 119
 120 \begin_layout Standard
 121
 122
 123 \backslash
 124 begin{lem}
 125 \end_layout
 126
 127 \end_inset
 128
 129  this is a lemma
 130 \begin_inset ERT
 131 status collapsed
 132
 133 \begin_layout Standard
 134
 135
 136 \backslash
 137 end{lem}
 138 \end_layout
 139
 140 \end_inset
 141
 142
 143 \end_layout
 144
 145 \begin_layout Theorem
 146
 147 this is the theorem
 148 \end_layout
 149
 150 \begin_layout Proof
 151
 152 this is the proof
 153 \end_layout
 154
 155 \end_body
 156 \end_document