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

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