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

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