src/tex2lyx/test/test-modules.tex

   1 %% LyX 1.6.1 created this file.  For more info, see http://www.lyx.org/.
   2 %% Do not edit unless you really know what you are doing.
   3 \documentclass[oneside,english]{amsart}
   4 \usepackage[T1]{fontenc}
   5 \usepackage[latin9]{inputenc}
   6 \usepackage{amsthm}
   7
   8 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% Textclass specific LaTeX commands.
   9 \numberwithin{equation}{section} %% Comment out for sequentially-numbered
  10 \numberwithin{figure}{section} %% Comment out for sequentially-numbered
  11 \providecommand{\theoremname}{Theorem}
  12 \theoremstyle{plain}
  13 \theoremstyle{plain}
  14 \newtheorem{thm}{\protect\theoremname}
  15   \theoremstyle{plain}
  16   \newtheorem{lem}[thm]{Lemma}
  17
  18 \usepackage{babel}
  19
  20 \begin{document}
  21 This is a dummy file
  22
  23 It has a theorem, a lemma and a proof.
  24
  25 The theorem is recognized is a style provided by the module theorems-ams,
  26 since the preamble code matches.
  27
  28 The lemma is not recognized as a command provided by a module, since the
  29 preamble code is from an older version of LyX, and modules are only loaded
  30 if the preamble code matches (otherwise you could easily get completely
  31 different output for some often used names like \textbackslash theorem.
  32
  33 The proof is recognized as a builtin style provided by the text class.
  34
  35 \begin{lem}
  36 this is a lemma\end{lem}
  37 \begin{thm}
  38 this is the theorem\end{thm}
  39 \begin{proof}
  40 this is the proof
  41 \end{proof}
  42
  43 \end{document}