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

   1 #LyX 2.2 created this file. For more info see http://www.lyx.org/
   2 \lyxformat 491
   3 \begin_document
   4 \begin_header
   5 \origin roundtrip
   6 \textclass amsart
   7 \begin_preamble
   8 \usepackage{babel}
   9 \end_preamble
  10 \use_default_options false
  11 \begin_modules
  12 theorems-ams
  13 eqs-within-sections
  14 figs-within-sections
  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
  22 \font_sans default
  23 \font_typewriter default
  24 \font_math 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
  30 \font_tt_scale 100
  31 \graphics default
  32 \default_output_format default
  33 \output_sync 0
  34 \bibtex_command default
  35 \index_command default
  36 \paperfontsize default
  37 \spacing single
  38 \use_hyperref false
  39 \papersize default
  40 \use_geometry false
  41 \use_package amsmath 1
  42 \use_package amssymb 0
  43 \use_package cancel 0
  44 \use_package esint 1
  45 \use_package mathdots 0
  46 \use_package mathtools 0
  47 \use_package mhchem 0
  48 \use_package stackrel 0
  49 \use_package stmaryrd 0
  50 \use_package undertilde 0
  51 \cite_engine basic
  52 \cite_engine_type default
  53 \biblio_style plain
  54 \use_bibtopic false
  55 \use_indices false
  56 \paperorientation portrait
  57 \suppress_date false
  58 \justification true
  59 \use_refstyle 0
  60 \index Index
  61 \shortcut idx
  62 \color #008000
  63 \end_index
  64 \secnumdepth 3
  65 \tocdepth 3
  66 \paragraph_separation indent
  67 \paragraph_indentation default
  68 \quotes_language english
  69 \papercolumns 1
  70 \papersides 1
  71 \paperpagestyle default
  72 \tracking_changes false
  73 \output_changes false
  74 \html_math_output 0
  75 \html_css_as_file 0
  76 \html_be_strict false
  77 \end_header
  78
  79 \begin_body
  80
  81 \begin_layout Standard
  82 This is a dummy file
  83 \end_layout
  84
  85 \begin_layout Standard
  86 It has a theorem, a lemma and a proof.
  87 \end_layout
  88
  89 \begin_layout Standard
  90 The theorem is recognized is a style provided by the module theorems-ams,
  91  since the preamble code matches.
  92 \end_layout
  93
  94 \begin_layout Standard
  95 The lemma is not recognized as a command provided by a module, since the
  96  preamble code is from an older version of LyX, and modules are only loaded
  97  if the preamble code matches (otherwise you could easily get completely
  98  different output for some often used names like
  99 \backslash
 100 theorem.
 101 \end_layout
 102
 103 \begin_layout Standard
 104 The proof is recognized as a builtin style provided by the text class.
 105 \end_layout
 106
 107 \begin_layout Standard
 108 \begin_inset ERT
 109 status collapsed
 110
 111 \begin_layout Plain Layout
 112
 113
 114 \backslash
 115 begin{lem}
 116 \end_layout
 117
 118 \end_inset
 119
 120  this is a lemma
 121 \begin_inset ERT
 122 status collapsed
 123
 124 \begin_layout Plain Layout
 125
 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