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

   1 #LyX file created by tex2lyx 2.1.0dev
   2 \lyxformat 463
   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 iso8859-15
  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 stackrel 0
  46 \use_package stmaryrd 0
  47 \use_package undertilde 0
  48 \cite_engine basic
  49 \cite_engine_type numerical
  50 \biblio_style plain
  51 \use_bibtopic false
  52 \use_indices false
  53 \paperorientation portrait
  54 \suppress_date false
  55 \justification true
  56 \use_refstyle 0
  57 \index Index
  58 \shortcut idx
  59 \color #008000
  60 \end_index
  61 \secnumdepth 3
  62 \tocdepth 3
  63 \paragraph_separation indent
  64 \paragraph_indentation default
  65 \quotes_language english
  66 \papercolumns 1
  67 \papersides 1
  68 \paperpagestyle default
  69 \tracking_changes false
  70 \output_changes false
  71 \html_math_output 0
  72 \html_css_as_file 0
  73 \html_be_strict false
  74 \end_header
  75
  76 \begin_body
  77
  78 \begin_layout Standard
  79 This is a dummy file
  80 \end_layout
  81
  82 \begin_layout Standard
  83 It has a theorem, a lemma and a proof.
  84 \end_layout
  85
  86 \begin_layout Standard
  87 The theorem is recognized is a style provided by the module theorems-ams, since the preamble code matches.
  88 \end_layout
  89
  90 \begin_layout Standard
  91 The lemma is not recognized as a command provided by a module, since the preamble code is from an older version of
  92 \begin_inset ERT
  93 status collapsed
  94
  95 \begin_layout Plain Layout
  96 LyX
  97 \end_layout
  98
  99 \end_inset
 100
 101 , and modules are only loaded if the preamble code matches (otherwise you could easily get completely different output for some often used names like
 102 \backslash
 103 theorem.
 104 \end_layout
 105
 106 \begin_layout Standard
 107 The proof is recognized as a builtin style provided by the text class.
 108 \end_layout
 109
 110 \begin_layout Standard
 111
 112 \begin_inset ERT
 113 status collapsed
 114
 115 \begin_layout Plain Layout
 116
 117 \backslash
 118 begin{lem}
 119 \end_layout
 120
 121 \end_inset
 122
 123  this is a lemma
 124 \begin_inset ERT
 125 status collapsed
 126
 127 \begin_layout Plain Layout
 128
 129 \backslash
 130 end{lem}
 131 \end_layout
 132
 133 \end_inset
 134
 135
 136 \end_layout
 137
 138 \begin_layout Theorem
 139 this is the theorem
 140 \end_layout
 141
 142 \begin_layout Proof
 143 this is the proof
 144 \end_layout
 145
 146 \end_body
 147 \end_document