example files: fileformat and partly other updates second part

[lyx.git] / lib / examples / amsart-test.lyx

diff --git a/lib/examples/amsart-test.lyx b/lib/examples/amsart-test.lyx
index 02d7ee60a883524cc194dfd2621ba1a2af7841e5..f0dbf17146acc91c09a1509919e2f363dd813a7c 100644 (file)
--- a/lib/examples/amsart-test.lyx
+++ b/lib/examples/amsart-test.lyx
@@ -1,17 +1,31 @@
-#LyX 1.5.0svn created this file. For more info see http://www.lyx.org/
-\lyxformat 245
+#LyX 1.6.0svn created this file. For more info see http://www.lyx.org/
+\lyxformat 341

 \begin_document
 \begin_header
 \textclass amsart
 \begin_document
 \begin_header
 \textclass amsart

+\begin_modules
+theorems-ams
+theorems-ams-extended
+\end_modules

 \language english
 \inputencoding default
 \language english
 \inputencoding default

-\fontscheme default
+\font_roman default
+\font_sans default
+\font_typewriter default
+\font_default_family default
+\font_sc false
+\font_osf false
+\font_sf_scale 100
+\font_tt_scale 100
+

 \graphics default
 \paperfontsize default
 \spacing single
 \graphics default
 \paperfontsize default
 \spacing single

+\use_hyperref false

 \papersize default
 \use_geometry false
 \use_amsmath 0
 \papersize default
 \use_geometry false
 \use_amsmath 0

+\use_esint 0

 \cite_engine basic
 \use_bibtopic false
 \paperorientation portrait
 \cite_engine basic
 \use_bibtopic false
 \paperorientation portrait


@@ -24,75 +38,68 @@
 \papersides 2
 \paperpagestyle default
 \tracking_changes false
 \papersides 2
 \paperpagestyle default
 \tracking_changes false

-\output_changes true
+\output_changes false
+\author "" 

 \end_header
 
 \begin_body
 
 \begin_layout Title
 \end_header
 
 \begin_body
 
 \begin_layout Title

-

 Test of AMS-Art Style
 \end_layout
 
 \begin_layout Author
 Test of AMS-Art Style
 \end_layout
 
 \begin_layout Author

-

 David L.
  Johnson
 \end_layout
 
 \begin_layout Address
 David L.
  Johnson
 \end_layout
 
 \begin_layout Address

-

 Department of Mathematics
 Department of Mathematics

-\newline
+\begin_inset Newline newline
+\end_inset
+

 Lehigh University
 Lehigh University

-\newline
+\begin_inset Newline newline
+\end_inset
+

 Bethlehem, PA 18015
 \end_layout
 
 \begin_layout Current Address
 Bethlehem, PA 18015
 \end_layout
 
 \begin_layout Current Address

-

 Home
 \end_layout
 
 \begin_layout Email
 Home
 \end_layout
 
 \begin_layout Email

-

 dlj0@lehigh.edu
 \end_layout
 
 \begin_layout URL
 dlj0@lehigh.edu
 \end_layout
 
 \begin_layout URL

-

 http://www.lehigh.edu/~dlj0/dlj0.html
 \end_layout
 
 \begin_layout Keywords
 http://www.lehigh.edu/~dlj0/dlj0.html
 \end_layout
 
 \begin_layout Keywords

-

 Test
 \end_layout
 
 \begin_layout Thanks
 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 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
 To my wife.
 \end_layout
 
 \begin_layout Translator

-

 Joe
 \end_layout
 
 \begin_layout Subjectclass
 Joe
 \end_layout
 
 \begin_layout Subjectclass

-

 Primary: 12G34, Secondary: 09G87
 \end_layout
 
 \begin_layout Abstract
 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.
 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.


@@ -101,12 +108,10 @@ This is not very abstract.
 \end_layout
 
 \begin_layout Section
 \end_layout
 
 \begin_layout Section

-

 Introduction
 \end_layout
 
 \begin_layout Standard
 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
 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


@@ -124,7 +129,6 @@ ocument
 \end_layout
 
 \begin_layout Enumerate
 \end_layout
 
 \begin_layout Enumerate

-

 amsart - The standard AMS-article format.
  All results and similar statements are numbered as 
 \begin_inset Formula $(n.m)$
 amsart - The standard AMS-article format.
  All results and similar statements are numbered as 
 \begin_inset Formula $(n.m)$


@@ -139,7 +143,6 @@ amsart - The standard AMS-article format.
 \end_layout
 
 \begin_layout Enumerate
 \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
 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


@@ -147,12 +150,10 @@ amsart-seq - Here, numbering for each type of statement is in its own sequence,
 \end_layout
 
 \begin_layout Theorem
 \end_layout
 
 \begin_layout Theorem

-

 This is a numbered theorem
 \end_layout
 
 \begin_layout Proof
 This is a numbered theorem
 \end_layout
 
 \begin_layout Proof

-

 Here is its proof.
  Here is its proof.
  Here is its proof.
 Here is its proof.
  Here is its proof.
  Here is its proof.


@@ -163,7 +164,6 @@ Here is its proof.
 \end_layout
 
 \begin_layout Standard
 \end_layout
 
 \begin_layout Standard

-

 More text.
  Note that two occurrences of the same environment, like two definitions,
  need to be separated somehow.
 More text.
  Note that two occurrences of the same environment, like two definitions,
  need to be separated somehow.


@@ -173,12 +173,10 @@ More text.
 \end_layout
 
 \begin_layout Theorem*
 \end_layout
 
 \begin_layout Theorem*

-

 This is an unnumbered theorem
 \end_layout
 
 \begin_layout Proof
 This is an unnumbered theorem
 \end_layout
 
 \begin_layout Proof

-

 Here is its proof.
  Here is its proof.
  Here is its proof.
 Here is its proof.
  Here is its proof.
  Here is its proof.


@@ -188,28 +186,24 @@ Here is its proof.
 \end_layout
 
 \begin_layout Corollary
 \end_layout
 
 \begin_layout Corollary

-

 First corollary.
 \end_layout
 
 \begin_layout Proof
 First corollary.
 \end_layout
 
 \begin_layout Proof

-

 Its proof.
 \end_layout
 
 \begin_layout Corollary*
 Its proof.
 \end_layout
 
 \begin_layout Corollary*

-

 Unnumbered corollary.
  
 \end_layout
 
 \begin_layout Standard
 Unnumbered corollary.
  
 \end_layout
 
 \begin_layout Standard

-
-

 \begin_inset ERT
 status collapsed
 
 \begin_inset ERT
 status collapsed
 

-\begin_layout Standard
+\begin_layout Plain Layout
+

 %
 \end_layout
 
 %
 \end_layout
 


@@ -219,53 +213,43 @@ status collapsed
 \end_layout
 
 \begin_layout Corollary*
 \end_layout
 
 \begin_layout Corollary*

-

 A second, with no intervening text.
  Note the % to force a separation.
 \end_layout
 
 \begin_layout Lemma
 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
 Lemma number 1
 \end_layout
 
 \begin_layout Proposition

-

 First proposition.
 \end_layout
 
 \begin_layout Proposition*
 First proposition.
 \end_layout
 
 \begin_layout Proposition*

-

 Unnumbered version.
 \end_layout
 
 \begin_layout Conjecture
 Unnumbered version.
 \end_layout
 
 \begin_layout Conjecture

-

 A wild guess.
 \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
 So wild I didn't number it.
 \end_layout
 
 \begin_layout Criterion

-

 Need some criteria
 \end_layout
 
 \begin_layout Algorithm
 Need some criteria
 \end_layout
 
 \begin_layout Algorithm

-

 first this, then the next
 \end_layout
 
 \begin_layout Fact
 first this, then the next
 \end_layout
 
 \begin_layout Fact

-

 Not fiction.
 \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.
 Bald statement of fact.
  Unnumbered environments are often used for emphasis, or in a short presentation
  that doesn't require numbered results.


@@ -273,22 +257,18 @@ Bald statement of fact.
 \end_layout
 
 \begin_layout Axiom
 \end_layout
 
 \begin_layout Axiom

-

 It stands to reason.
 \end_layout
 
 \begin_layout Definition
 It stands to reason.
 \end_layout
 
 \begin_layout Definition

-

 a word means exactly what I say it means.
 \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
 Unnumbered.
 \end_layout
 
 \begin_layout Standard

-

 Plain text.
  Plain text.
  Plain text.
 Plain text.
  Plain text.
  Plain text.


@@ -303,12 +283,10 @@ Plain text.
 \end_layout
 
 \begin_layout Example
 \end_layout
 
 \begin_layout Example

-

 This should be an example.
 \end_layout
 
 \begin_layout Standard
 This should be an example.
 \end_layout
 
 \begin_layout Standard

-

 Plain text.
  Plain text.
  Plain text.
 Plain text.
  Plain text.
  Plain text.


@@ -326,83 +304,66 @@ Plain text.
 \end_layout
 
 \begin_layout Condition
 \end_layout
 
 \begin_layout Condition

-

 If you say so.
 \end_layout
 
 \begin_layout Problem
 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 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 think this will be useful.
 \end_layout
 
 \begin_layout Claim

-

 I did it the way the documentation said to.
 \end_layout
 
 \begin_layout Note
 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
 It may need more work yet.
 \end_layout
 
 \begin_layout Standard

-

 More plain text, in standard format.
 \end_layout
 
 \begin_layout Theorem
 More plain text, in standard format.
 \end_layout
 
 \begin_layout Theorem

-

 This is a second numbered theorem
 \end_layout
 
 \begin_layout Proof
 This is a second numbered theorem
 \end_layout
 
 \begin_layout Proof

-

 Here is its proof.
 \end_layout
 
 \begin_layout Standard
 Here is its proof.
 \end_layout
 
 \begin_layout Standard

-

 More text.
 \end_layout
 
 \begin_layout Corollary
 More text.
 \end_layout
 
 \begin_layout Corollary

-

 Second corollary.
 \end_layout
 
 \begin_layout Proof
 Second corollary.
 \end_layout
 
 \begin_layout Proof

-

 Its proof.
 \end_layout
 
 \begin_layout Lemma
 Its proof.
 \end_layout
 
 \begin_layout Lemma

-

 Lemma number 2
 \end_layout
 
 \begin_layout Proposition
 Lemma number 2
 \end_layout
 
 \begin_layout Proposition

-

 Second proposition.
 \end_layout
 
 \begin_layout Conjecture
 Second proposition.
 \end_layout
 
 \begin_layout Conjecture

-

 A wild guess.
 \end_layout
 
 \begin_layout Criterion
 A wild guess.
 \end_layout
 
 \begin_layout Criterion

-

 Need some criteria
 \end_layout
 
 \begin_layout Notation
 Need some criteria
 \end_layout
 
 \begin_layout Notation

-
-

 \begin_inset Formula $S=\mathbb{R}$
 \end_inset
 
 \begin_inset Formula $S=\mathbb{R}$
 \end_inset
 


@@ -410,254 +371,209 @@ Need some criteria
 \end_layout
 
 \begin_layout Summary
 \end_layout
 
 \begin_layout Summary

-

 In the end, will it matter?
 \end_layout
 
 \begin_layout Acknowledgement
 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
 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
 If this works, then the rest will.
 \end_layout
 
 \begin_layout Conclusion

-

 It seems to work.
 \end_layout
 
 \begin_layout Proof
 It seems to work.
 \end_layout
 
 \begin_layout Proof

-

 Here goes another proof.
 \end_layout
 
 \begin_layout Standard
 Here goes another proof.
 \end_layout
 
 \begin_layout Standard

-

 Plain text.
 \end_layout
 
 \begin_layout Section
 Plain text.
 \end_layout
 
 \begin_layout Section

-

 Next try.
 \end_layout
 
 \begin_layout Standard
 Next try.
 \end_layout
 
 \begin_layout Standard

-

 This tries out the section environments.
 \end_layout
 
 \begin_layout Theorem
 This tries out the section environments.
 \end_layout
 
 \begin_layout Theorem

-

 This is a theorem
 \end_layout
 
 \begin_layout Proof
 This is a theorem
 \end_layout
 
 \begin_layout Proof

-

 Here is its proof.
 \end_layout
 
 \begin_layout Standard
 Here is its proof.
 \end_layout
 
 \begin_layout Standard

-

 More text.
 \end_layout
 
 \begin_layout Corollary
 More text.
 \end_layout
 
 \begin_layout Corollary

-

 Third corollary.
  First one of this section.
 \end_layout
 
 \begin_layout Proof
 Third corollary.
  First one of this section.
 \end_layout
 
 \begin_layout Proof

-

 Its proof.
 \end_layout
 
 \begin_layout Lemma
 Its proof.
 \end_layout
 
 \begin_layout Lemma

-

 Lemma number 3
 \end_layout
 
 \begin_layout Proposition
 Lemma number 3
 \end_layout
 
 \begin_layout Proposition

-

 Third proposition.
 \end_layout
 
 \begin_layout Conjecture
 Third proposition.
 \end_layout
 
 \begin_layout Conjecture

-

 A wild guess.
 \end_layout
 
 \begin_layout Criterion
 A wild guess.
 \end_layout
 
 \begin_layout Criterion

-

 Need some criteria
 \end_layout
 
 \begin_layout Subsection
 Need some criteria
 \end_layout
 
 \begin_layout Subsection

-

 This is a subsection
 \end_layout
 
 \begin_layout Standard
 This is a subsection
 \end_layout
 
 \begin_layout Standard

-

 With more results therein.
 \end_layout
 
 \begin_layout Theorem
 With more results therein.
 \end_layout
 
 \begin_layout Theorem

-

 This is a theorem, maybe the fourth one.
 \end_layout
 
 \begin_layout Proof
 This is a theorem, maybe the fourth one.
 \end_layout
 
 \begin_layout Proof

-

 Here is its proof.
 \end_layout
 
 \begin_layout Standard
 Here is its proof.
 \end_layout
 
 \begin_layout Standard

-

 More text.
 \end_layout
 
 \begin_layout Corollary
 More text.
 \end_layout
 
 \begin_layout Corollary

-

 Fourth corollary.
 \end_layout
 
 \begin_layout Proof
 Fourth corollary.
 \end_layout
 
 \begin_layout Proof

-

 Its proof.
 \end_layout
 
 \begin_layout Lemma
 Its proof.
 \end_layout
 
 \begin_layout Lemma

-

 Lemma number 4
 \end_layout
 
 \begin_layout Proposition
 Lemma number 4
 \end_layout
 
 \begin_layout Proposition

-

 Fourth proposition.
 \end_layout
 
 \begin_layout Conjecture
 Fourth proposition.
 \end_layout
 
 \begin_layout Conjecture

-

 A wild guess.
 \end_layout
 
 \begin_layout Criterion
 A wild guess.
 \end_layout
 
 \begin_layout Criterion

-

 Need some criteria
 \end_layout
 
 \begin_layout Standard
 Need some criteria
 \end_layout
 
 \begin_layout Standard

-

 More random text.
 \end_layout
 
 \begin_layout Theorem
 More random text.
 \end_layout
 
 \begin_layout Theorem

-

 This is a theorem
 \end_layout
 
 \begin_layout Proof
 This is a theorem
 \end_layout
 
 \begin_layout Proof

-

 Here is its proof.
 \end_layout
 
 \begin_layout Standard
 Here is its proof.
 \end_layout
 
 \begin_layout Standard

-

 More text.
 \end_layout
 
 \begin_layout Claim
 More text.
 \end_layout
 
 \begin_layout Claim

-

 I believe this is true.
 \end_layout
 
 \begin_layout Proof
 I believe this is true.
 \end_layout
 
 \begin_layout Proof

-

 Its proof.
 \end_layout
 
 \begin_layout Lemma
 Its proof.
 \end_layout
 
 \begin_layout Lemma

-

 Lemma number 5
 \end_layout
 
 \begin_layout Proposition
 Lemma number 5
 \end_layout
 
 \begin_layout Proposition

-

 Fifth proposition.
 \end_layout
 
 \begin_layout Conjecture
 Fifth proposition.
 \end_layout
 
 \begin_layout Conjecture

-

 A wild guess.
 \end_layout
 
 \begin_layout Criterion
 A wild guess.
 \end_layout
 
 \begin_layout Criterion

-

 Need some criteria
 \end_layout
 
 \begin_layout Subsubsection
 Need some criteria
 \end_layout
 
 \begin_layout Subsubsection

-

 This is the subsection with results.
 \end_layout
 
 \begin_layout Standard
 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
 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
 This is a theorem - sixth in the series
 \end_layout
 
 \begin_layout Proof

-

 Here is its proof.
 \end_layout
 
 \begin_layout Standard
 Here is its proof.
 \end_layout
 
 \begin_layout Standard

-

 More text.
 \end_layout
 
 \begin_layout Corollary
 More text.
 \end_layout
 
 \begin_layout Corollary

-

 Sixth corollary.
 \end_layout
 
 \begin_layout Proof
 Sixth corollary.
 \end_layout
 
 \begin_layout Proof

-

 Its proof.
 \end_layout
 
 \begin_layout Lemma
 Its proof.
 \end_layout
 
 \begin_layout Lemma

-

 Lemma number 6
 \end_layout
 
 \begin_layout Proposition
 Lemma number 6
 \end_layout
 
 \begin_layout Proposition

-

 Sixth proposition.
 \end_layout
 
 \begin_layout Conjecture
 Sixth proposition.
 \end_layout
 
 \begin_layout Conjecture

-

 A wild guess.
 \end_layout
 
 \begin_layout Criterion
 A wild guess.
 \end_layout
 
 \begin_layout Criterion

-

 Need some criteria
 \end_layout
 
 \begin_layout Bibliography
 Need some criteria
 \end_layout
 
 \begin_layout Bibliography

-\bibitem {1}
+\begin_inset CommandInset bibitem
+LatexCommand bibitem
+key "1"
+
+\end_inset

 
 Johnson, D.
  L.
 
 Johnson, D.
  L.


@@ -667,7 +583,11 @@ Out of my head
 \end_layout
 
 \begin_layout Bibliography
 \end_layout
 
 \begin_layout Bibliography

-\bibitem {2}
+\begin_inset CommandInset bibitem
+LatexCommand bibitem
+key "2"
+
+\end_inset

 
 American Mathematical Society, 
 \emph on
 
 American Mathematical Society, 
 \emph on


@@ -677,7 +597,11 @@ Instructions for preparation of papers and monographs: AMS-LaTeX
 \end_layout
 
 \begin_layout Bibliography
 \end_layout
 
 \begin_layout Bibliography

-\bibitem {3}
+\begin_inset CommandInset bibitem
+LatexCommand bibitem
+key "3"
+
+\end_inset

 
 American Mathematical Society, 
 \end_layout
 
 American Mathematical Society, 
 \end_layout