Change LFUN_FONT_CODE to LFUN_FONT_TYPEWERITER, possibly in preparation for a move...

[lyx.git] / lib / layouts / amsart-plain.layout

diff --git a/lib/layouts/amsart-plain.layout b/lib/layouts/amsart-plain.layout
index 4fc51c3278cc2fab79cc93b5adbd6e34e8d0d991..1218a80b4fcf9cf302a8f3029aaa7807512f3bfc 100644 (file)
--- a/lib/layouts/amsart-plain.layout
+++ b/lib/layouts/amsart-plain.layout
@@ -4,18 +4,151 @@
 # and from the Article textclass definition file, following the AMS sample
 # paper "testmath.tex" of January, 1995
 # Author : David L. Johnson <dlj0@lehigh.edu>
-# The "unnumbered" version has all results, unnumbered 
+# The "unnumbered" version has all results, unnumbered
 # Probably broken by Jean-Marc Lasgouttes <Jean-Marc.Lasgouttes@inria.fr>
 # modified and modularized by Emmanuel GUREGHIAN <gureghia@boston.bertin.fr>
 
+Format 5
 Input amsart.layout
+
 # Change the definitions of the theorem-like environments to get unnumbered
-# results
+# results
+
 Input amsmaths-plain.inc
 
 # Use a simpler preamble.
 Preamble
-  \usepackage{amsmath,amsthm}
-  \usepackage{amsfonts}
+       \usepackage{amsmath,amsthm}
+       \usepackage{amsfonts}
 EndPreamble
 
+
+Style Theorem
+       LabelString           "Theorem."
+End
+
+
+Style Corollary
+       LabelType             Static
+       LabelString           "Corollary."
+End
+
+
+Style Lemma
+       LabelType             Static
+       LabelString           "Lemma."
+End
+
+
+Style Proposition
+       LabelType             Static
+       LabelString           "Proposition."
+End
+
+
+Style Conjecture
+       LabelType             Static
+       LabelString           "Conjecture."
+End
+
+
+Style Criterion
+       LabelType             Static
+       LabelString           "Criterion."
+End
+
+
+Style Algorithm
+       LabelType             Static
+       LabelString           "Algorithm."
+End
+
+
+Style Fact
+       LabelType             Static
+       LabelString           "Fact."
+End
+
+
+Style Axiom
+       LabelType             Static
+       LabelString           "Axiom."
+End
+
+
+Style Definition
+       LabelType             Static
+       LabelString           "Definition."
+End
+
+
+Style Example
+       LabelType             Static
+       LabelString           "Example."
+End
+
+
+Style Condition
+       LabelType             Static
+       LabelString           "Condition."
+End
+
+
+Style Problem
+       LabelType             Static
+       LabelString           "Problem."
+End
+
+
+Style Exercise
+       LabelType             Static
+       LabelString           "Exercise."
+End
+
+
+Style Remark
+       LabelType             Static
+       LabelString           "Remark."
+End
+
+
+Style Claim
+       LabelType             Static
+       LabelString           "Claim."
+End
+
+
+Style Note
+       LabelType             Static
+       LabelString           "Note."
+End
+
+
+Style Notation
+       LabelType             Static
+       LabelString           "Notation."
+End
+
+
+Style Summary
+       LabelType             Static
+       LabelString           "Summary."
+End
+
+
+Style Acknowledgement
+       LabelType             Static
+       LabelString           "Acknowledgement."
+End
+
+
+Style Case
+       LabelType             Static
+       LabelString           "Case."
+End
+
+
+Style Conclusion
+       LabelType             Static
+       LabelString           "Conclusion."
+End