X-Git-Url: https://git.lyx.org/gitweb/?a=blobdiff_plain;f=lib%2Fexamples%2Famsart-test.lyx;h=cf4b0848743d869cf1b1edfde1040ae8be732bc7;hb=eba17c9763b8e623da75e0682e289ba9a445b7d5;hp=d2a9ea2cd2e36807d8cb5bdec834a8100cfae223;hpb=d523271fb545efb658177369187105949f9a0932;p=lyx.git

diff --git a/lib/examples/amsart-test.lyx b/lib/examples/amsart-test.lyx
index d2a9ea2cd2..cf4b084874 100644
--- a/lib/examples/amsart-test.lyx
+++ b/lib/examples/amsart-test.lyx
@@ -1,99 +1,127 @@
-#LyX 1.4.0cvs created this file. For more info see http://www.lyx.org/
-\lyxformat 243
+#LyX 2.0 created this file. For more info see http://www.lyx.org/
+\lyxformat 413
 \begin_document
 \begin_header
 \textclass amsart
+\use_default_options false
+\begin_modules
+theorems-ams
+eqs-within-sections
+figs-within-sections
+theorems-ams-extended
+\end_modules
+\maintain_unincluded_children false
 \language english
+\language_package default
 \inputencoding default
-\fontscheme default
+\fontencoding global
+\font_roman default
+\font_sans default
+\font_typewriter default
+\font_default_family default
+\use_non_tex_fonts false
+\font_sc false
+\font_osf false
+\font_sf_scale 100
+\font_tt_scale 100
+
 \graphics default
+\default_output_format default
+\output_sync 0
+\bibtex_command default
+\index_command default
 \paperfontsize default
 \spacing single
+\use_hyperref false
 \papersize default
 \use_geometry false
 \use_amsmath 0
+\use_esint 0
+\use_mhchem 1
+\use_mathdots 1
 \cite_engine basic
 \use_bibtopic false
+\use_indices false
 \paperorientation portrait
+\suppress_date false
+\use_refstyle 0
+\index Index
+\shortcut idx
+\color #008000
+\end_index
 \secnumdepth 3
 \tocdepth 3
 \paragraph_separation indent
-\defskip medskip
+\paragraph_indentation default
 \quotes_language english
-\quotes_times 2
 \papercolumns 1
 \papersides 2
 \paperpagestyle default
 \tracking_changes false
-\output_changes true
+\output_changes false
+\html_math_output 0
+\html_css_as_file 0
+\html_be_strict false
 \end_header
 
 \begin_body
 
 \begin_layout Title
-
 Test of AMS-Art Style
 \end_layout
 
 \begin_layout Author
-
 David L.
  Johnson
 \end_layout
 
 \begin_layout Address
-
 Department of Mathematics
-\newline
+\begin_inset Newline newline
+\end_inset
+
 Lehigh University
-\newline
+\begin_inset Newline newline
+\end_inset
+
 Bethlehem, PA 18015
 \end_layout
 
 \begin_layout Current Address
-
 Home
 \end_layout
 
 \begin_layout Email
-
 dlj0@lehigh.edu
 \end_layout
 
 \begin_layout URL
-
 http://www.lehigh.edu/~dlj0/dlj0.html
 \end_layout
 
 \begin_layout Keywords
-
 Test
 \end_layout
 
 \begin_layout Thanks
-
 To Emmanuel, for forcing me to fix this, and Jean-Marc, for making it possible,
  and necessary.
  Also to Mate, who suggested numerous improvements.
 \end_layout
 
 \begin_layout Dedicatory
-
 To my wife.
 \end_layout
 
 \begin_layout Translator
-
 Joe
 \end_layout
 
 \begin_layout Subjectclass
-
 Primary: 12G34, Secondary: 09G87
 \end_layout
 
 \begin_layout Abstract
-
 This is not very abstract.
  Note that the abstract must be part of the title stuff for AMS.
  LyX is aware of that since version 0.12.1.
@@ -102,12 +130,10 @@ This is not very abstract.
 \end_layout
 
 \begin_layout Section
-
 Introduction
 \end_layout
 
 \begin_layout Standard
-
 This file, and any amsart-* LyX file, can be converted to either of the
  numbering schemes by simply changing the document class in the 
 \family sans
@@ -125,7 +151,6 @@ ocument
 \end_layout
 
 \begin_layout Enumerate
-
 amsart - The standard AMS-article format.
  All results and similar statements are numbered as 
 \begin_inset Formula $(n.m)$
@@ -140,7 +165,6 @@ amsart - The standard AMS-article format.
 \end_layout
 
 \begin_layout Enumerate
-
 amsart-seq - Here, numbering for each type of statement is in its own sequence,
  with no reference to the section number.
  There are also many (but not all) environments available unnumbered, which
@@ -148,12 +172,10 @@ amsart-seq - Here, numbering for each type of statement is in its own sequence,
 \end_layout
 
 \begin_layout Theorem
-
 This is a numbered theorem
 \end_layout
 
 \begin_layout Proof
-
 Here is its proof.
  Here is its proof.
  Here is its proof.
@@ -164,7 +186,6 @@ Here is its proof.
 \end_layout
 
 \begin_layout Standard
-
 More text.
  Note that two occurrences of the same environment, like two definitions,
  need to be separated somehow.
@@ -174,12 +195,10 @@ More text.
 \end_layout
 
 \begin_layout Theorem*
-
 This is an unnumbered theorem
 \end_layout
 
 \begin_layout Proof
-
 Here is its proof.
  Here is its proof.
  Here is its proof.
@@ -189,28 +208,24 @@ Here is its proof.
 \end_layout
 
 \begin_layout Corollary
-
 First corollary.
 \end_layout
 
 \begin_layout Proof
-
 Its proof.
 \end_layout
 
 \begin_layout Corollary*
-
 Unnumbered corollary.
  
 \end_layout
 
 \begin_layout Standard
-
-
 \begin_inset ERT
 status collapsed
 
-\begin_layout Standard
+\begin_layout Plain Layout
+
 %
 \end_layout
 
@@ -220,53 +235,43 @@ status collapsed
 \end_layout
 
 \begin_layout Corollary*
-
 A second, with no intervening text.
  Note the % to force a separation.
 \end_layout
 
 \begin_layout Lemma
-
 Lemma number 1
 \end_layout
 
 \begin_layout Proposition
-
 First proposition.
 \end_layout
 
 \begin_layout Proposition*
-
 Unnumbered version.
 \end_layout
 
 \begin_layout Conjecture
-
 A wild guess.
 \end_layout
 
 \begin_layout Conjecture*
-
 So wild I didn't number it.
 \end_layout
 
 \begin_layout Criterion
-
 Need some criteria
 \end_layout
 
 \begin_layout Algorithm
-
 first this, then the next
 \end_layout
 
 \begin_layout Fact
-
 Not fiction.
 \end_layout
 
 \begin_layout Fact*
-
 Bald statement of fact.
  Unnumbered environments are often used for emphasis, or in a short presentation
  that doesn't require numbered results.
@@ -274,22 +279,18 @@ Bald statement of fact.
 \end_layout
 
 \begin_layout Axiom
-
 It stands to reason.
 \end_layout
 
 \begin_layout Definition
-
 a word means exactly what I say it means.
 \end_layout
 
 \begin_layout Definition*
-
 Unnumbered.
 \end_layout
 
 \begin_layout Standard
-
 Plain text.
  Plain text.
  Plain text.
@@ -304,12 +305,10 @@ Plain text.
 \end_layout
 
 \begin_layout Example
-
 This should be an example.
 \end_layout
 
 \begin_layout Standard
-
 Plain text.
  Plain text.
  Plain text.
@@ -327,83 +326,66 @@ Plain text.
 \end_layout
 
 \begin_layout Condition
-
 If you say so.
 \end_layout
 
 \begin_layout Problem
-
 I don't know what to write is the problem.
 \end_layout
 
 \begin_layout Remark
-
 I think this will be useful.
 \end_layout
 
 \begin_layout Claim
-
 I did it the way the documentation said to.
 \end_layout
 
 \begin_layout Note
-
 It may need more work yet.
 \end_layout
 
 \begin_layout Standard
-
 More plain text, in standard format.
 \end_layout
 
 \begin_layout Theorem
-
 This is a second numbered theorem
 \end_layout
 
 \begin_layout Proof
-
 Here is its proof.
 \end_layout
 
 \begin_layout Standard
-
 More text.
 \end_layout
 
 \begin_layout Corollary
-
 Second corollary.
 \end_layout
 
 \begin_layout Proof
-
 Its proof.
 \end_layout
 
 \begin_layout Lemma
-
 Lemma number 2
 \end_layout
 
 \begin_layout Proposition
-
 Second proposition.
 \end_layout
 
 \begin_layout Conjecture
-
 A wild guess.
 \end_layout
 
 \begin_layout Criterion
-
 Need some criteria
 \end_layout
 
 \begin_layout Notation
-
-
 \begin_inset Formula $S=\mathbb{R}$
 \end_inset
 
@@ -411,254 +393,209 @@ Need some criteria
 \end_layout
 
 \begin_layout Summary
-
 In the end, will it matter?
 \end_layout
 
 \begin_layout Acknowledgement
-
 Thanks to Mattias Ettrich.
  Without him I never would have learned LaTeX.
 \end_layout
 
 \begin_layout Case
-
 If this works, then the rest will.
 \end_layout
 
 \begin_layout Conclusion
-
 It seems to work.
 \end_layout
 
 \begin_layout Proof
-
 Here goes another proof.
 \end_layout
 
 \begin_layout Standard
-
 Plain text.
 \end_layout
 
 \begin_layout Section
-
 Next try.
 \end_layout
 
 \begin_layout Standard
-
 This tries out the section environments.
 \end_layout
 
 \begin_layout Theorem
-
 This is a theorem
 \end_layout
 
 \begin_layout Proof
-
 Here is its proof.
 \end_layout
 
 \begin_layout Standard
-
 More text.
 \end_layout
 
 \begin_layout Corollary
-
 Third corollary.
  First one of this section.
 \end_layout
 
 \begin_layout Proof
-
 Its proof.
 \end_layout
 
 \begin_layout Lemma
-
 Lemma number 3
 \end_layout
 
 \begin_layout Proposition
-
 Third proposition.
 \end_layout
 
 \begin_layout Conjecture
-
 A wild guess.
 \end_layout
 
 \begin_layout Criterion
-
 Need some criteria
 \end_layout
 
 \begin_layout Subsection
-
 This is a subsection
 \end_layout
 
 \begin_layout Standard
-
 With more results therein.
 \end_layout
 
 \begin_layout Theorem
-
 This is a theorem, maybe the fourth one.
 \end_layout
 
 \begin_layout Proof
-
 Here is its proof.
 \end_layout
 
 \begin_layout Standard
-
 More text.
 \end_layout
 
 \begin_layout Corollary
-
 Fourth corollary.
 \end_layout
 
 \begin_layout Proof
-
 Its proof.
 \end_layout
 
 \begin_layout Lemma
-
 Lemma number 4
 \end_layout
 
 \begin_layout Proposition
-
 Fourth proposition.
 \end_layout
 
 \begin_layout Conjecture
-
 A wild guess.
 \end_layout
 
 \begin_layout Criterion
-
 Need some criteria
 \end_layout
 
 \begin_layout Standard
-
 More random text.
 \end_layout
 
 \begin_layout Theorem
-
 This is a theorem
 \end_layout
 
 \begin_layout Proof
-
 Here is its proof.
 \end_layout
 
 \begin_layout Standard
-
 More text.
 \end_layout
 
 \begin_layout Claim
-
 I believe this is true.
 \end_layout
 
 \begin_layout Proof
-
 Its proof.
 \end_layout
 
 \begin_layout Lemma
-
 Lemma number 5
 \end_layout
 
 \begin_layout Proposition
-
 Fifth proposition.
 \end_layout
 
 \begin_layout Conjecture
-
 A wild guess.
 \end_layout
 
 \begin_layout Criterion
-
 Need some criteria
 \end_layout
 
 \begin_layout Subsubsection
-
 This is the subsection with results.
 \end_layout
 
 \begin_layout Standard
-
 The quick, brown fox jumped over the lazy dog.
 \end_layout
 
 \begin_layout Theorem
-
 This is a theorem - sixth in the series
 \end_layout
 
 \begin_layout Proof
-
 Here is its proof.
 \end_layout
 
 \begin_layout Standard
-
 More text.
 \end_layout
 
 \begin_layout Corollary
-
 Sixth corollary.
 \end_layout
 
 \begin_layout Proof
-
 Its proof.
 \end_layout
 
 \begin_layout Lemma
-
 Lemma number 6
 \end_layout
 
 \begin_layout Proposition
-
 Sixth proposition.
 \end_layout
 
 \begin_layout Conjecture
-
 A wild guess.
 \end_layout
 
 \begin_layout Criterion
-
 Need some criteria
 \end_layout
 
 \begin_layout Bibliography
-\bibitem {1}
+\begin_inset CommandInset bibitem
+LatexCommand bibitem
+key "1"
+
+\end_inset
 
 Johnson, D.
  L.
@@ -668,7 +605,11 @@ Out of my head
 \end_layout
 
 \begin_layout Bibliography
-\bibitem {2}
+\begin_inset CommandInset bibitem
+LatexCommand bibitem
+key "2"
+
+\end_inset
 
 American Mathematical Society, 
 \emph on
@@ -678,7 +619,11 @@ Instructions for preparation of papers and monographs: AMS-LaTeX
 \end_layout
 
 \begin_layout Bibliography
-\bibitem {3}
+\begin_inset CommandInset bibitem
+LatexCommand bibitem
+key "3"
+
+\end_inset
 
 American Mathematical Society, 
 \end_layout