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

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