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

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