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

   1 #LyX file created by tex2lyx 2.2
   2 \lyxformat 488
   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 default
  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 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
  93 \backslash
  94 theorem.
  95 \end_layout
  96
  97 \begin_layout Standard
  98 The proof is recognized as a builtin style provided by the text class.
  99 \end_layout
 100
 101 \begin_layout Standard
 102
 103 \begin_inset ERT
 104 status collapsed
 105
 106 \begin_layout Plain Layout
 107
 108 \backslash
 109 begin{lem}
 110 \end_layout
 111
 112 \end_inset
 113
 114  this is a lemma
 115 \begin_inset ERT
 116 status collapsed
 117
 118 \begin_layout Plain Layout
 119
 120 \backslash
 121 end{lem}
 122 \end_layout
 123
 124 \end_inset
 125
 126
 127 \end_layout
 128
 129 \begin_layout Theorem
 130 this is the theorem
 131 \end_layout
 132
 133 \begin_layout Proof
 134 this is the proof
 135 \end_layout
 136
 137 \end_body
 138 \end_document