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

   1 #LyX file created by tex2lyx 2.5
   2 \lyxformat 624
   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 no
  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_roman_osf false
  29 \font_sans_osf false
  30 \font_typewriter_osf false
  31 \font_sf_scale 100 100
  32 \font_tt_scale 100 100
  33 \use_microtype false
  34 \use_dash_ligatures true
  35 \graphics default
  36 \default_output_format default
  37 \output_sync 0
  38 \bibtex_command default
  39 \index_command default
  40 \paperfontsize default
  41 \spacing single
  42 \use_hyperref false
  43 \papersize default
  44 \use_geometry false
  45 \use_package amsmath 1
  46 \use_package amssymb 0
  47 \use_package cancel 0
  48 \use_package esint 1
  49 \use_package mathdots 0
  50 \use_package mathtools 0
  51 \use_package mhchem 0
  52 \use_package stackrel 0
  53 \use_package stmaryrd 0
  54 \use_package undertilde 0
  55 \cite_engine basic
  56 \cite_engine_type default
  57 \biblio_style plain
  58 \use_bibtopic false
  59 \use_indices false
  60 \paperorientation portrait
  61 \suppress_date false
  62 \justification true
  63 \use_refstyle 0
  64 \use_minted 0
  65 \use_lineno false
  66 \index Index
  67 \shortcut idx
  68 \color #008000
  69 \end_index
  70 \secnumdepth 3
  71 \tocdepth 3
  72 \paragraph_separation indent
  73 \paragraph_indentation default
  74 \is_math_indent 0
  75 \math_numbering_side default
  76 \quotes_style english
  77 \dynamic_quotes 0
  78 \papercolumns 1
  79 \papersides 1
  80 \paperpagestyle default
  81 \tracking_changes false
  82 \output_changes false
  83 \change_bars false
  84 \html_math_output 0
  85 \html_css_as_file 0
  86 \html_be_strict false
  87 \docbook_table_output 0
  88 \docbook_mathml_prefix 1
  89 \end_header
  90
  91 \begin_body
  92
  93 \begin_layout Standard
  94 This is a dummy file
  95 \end_layout
  96
  97 \begin_layout Standard
  98 It has a theorem, a lemma and a proof.
  99 \end_layout
 100
 101 \begin_layout Standard
 102 The theorem is recognized is a style provided by the module theorems-ams, since the preamble code matches.
 103 \end_layout
 104
 105 \begin_layout Standard
 106 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
 107 \backslash
 108 theorem.
 109 \end_layout
 110
 111 \begin_layout Standard
 112 The proof is recognized as a builtin style provided by the text class.
 113 \end_layout
 114
 115 \begin_layout Lemma
 116 this is a lemma
 117 \end_layout
 118
 119 \begin_layout Theorem
 120 this is the theorem
 121 \end_layout
 122
 123 \begin_layout Proof
 124 this is the proof
 125 \end_layout
 126
 127 \end_body
 128 \end_document