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

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

diff --git a/lib/layouts/amsart-seq.layout b/lib/layouts/amsart-seq.layout
index 762ffaa5444868981054bc11437b23e96ba18b85..a166cbd10be53c697375ff59ac96e7f16b2eec75 100644 (file)
--- a/lib/layouts/amsart-seq.layout
+++ b/lib/layouts/amsart-seq.layout
@@ -4,19 +4,263 @@
 # 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 "seq" version has all results, figures, etc., numbered in a separate
-# sequence, without section numbers attached (Theorem (1), Corollary (1), Theorem
-# (2), etc.).  
+# sequence, without section numbers attached (Theorem (1), Corollary (1),
+# Theorem (2), etc.).
+#
 # 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 a
 # better numbering.
+
 Input amsmaths-seq.inc
 
 # Use a simpler preamble.
-Preamble
 
+Preamble
 EndPreamble
 
+
+# but more counters
+
+Counter
+       Name                  corollary
+End
+
+
+Counter
+       Name                  lemma
+End
+
+
+Counter
+       Name                  proposition
+End
+
+
+Counter
+       Name                  conjecture
+End
+
+
+Counter
+       Name                  criterion
+End
+
+
+Counter
+       Name                  algorithm
+End
+
+
+Counter
+       Name                  fact
+End
+
+
+Counter
+       Name                  axiom
+End
+
+
+Counter
+       Name                  definition
+End
+
+
+Counter
+       Name                  example
+End
+
+
+Counter
+       Name                  condition
+End
+
+
+Counter
+       Name                  problem
+End
+
+
+Counter
+       Name                  exercise
+End
+
+
+Counter
+       Name                  remark
+End
+
+
+Counter
+       Name                  claim
+End
+
+
+Counter
+       Name                  note
+End
+
+
+Counter
+       Name                  notation
+End
+
+
+Counter
+       Name                  summary
+End
+
+
+Counter
+       Name                  acknowledgement
+End
+
+
+Counter
+       Name                  case
+End
+
+
+Counter
+       Name                  conclusion
+End
+
+
+
+Style Theorem
+       LabelCounter          theorem
+       LabelString           "Theorem \arabic{theorem}."
+End
+
+
+Style Corollary
+       LabelCounter          corollary
+       LabelString           "Corollary \arabic{corollary}."
+End
+
+
+Style Lemma
+       LabelCounter          lemma
+       LabelString           "Lemma \arabic{lemma}."
+End
+
+
+Style Proposition
+       LabelCounter          proposition
+       LabelString           "Proposition \arabic{proposition}."
+End
+
+
+Style Conjecture
+       LabelCounter          conjecture
+       LabelString           "Conjecture \arabic{conjecture}."
+End
+
+
+Style Criterion
+       LabelCounter          criterion
+       LabelString           "Criterion \arabic{criterion}."
+End
+
+
+Style Algorithm
+       LabelCounter          algorithm
+       LabelString           "Algorithm \arabic{algorithm}."
+End
+
+
+Style Fact
+       LabelCounter          fact
+       LabelString           "Fact \arabic{fact}."
+End
+
+
+Style Axiom
+       LabelCounter          axiom
+       LabelString           "Axiom \arabic{axiom}."
+End
+
+
+Style Definition
+       LabelCounter          definition
+       LabelString           "Definition \arabic{definition}."
+End
+
+
+Style Example
+       LabelCounter          example
+       LabelString           "Example \arabic{example}."
+End
+
+
+Style Condition
+       LabelCounter          condition
+       LabelString           "Condition \arabic{condition}."
+End
+
+
+Style Problem
+       LabelCounter          problem
+       LabelString           "Problem \arabic{problem}."
+End
+
+
+Style Exercise
+       LabelCounter          exercise
+       LabelString           "Exercise \arabic{exercise}."
+End
+
+
+Style Remark
+       LabelCounter          remark
+       LabelString           "Remark \arabic{remark}."
+End
+
+
+Style Claim
+       LabelCounter          claim
+       LabelString           "Claim \arabic{claim}."
+End
+
+
+Style Note
+       LabelCounter          note
+       LabelString           "Note \arabic{note}."
+End
+
+
+Style Notation
+       LabelCounter          notation
+       LabelString           "Notation \arabic{notation}."
+End
+
+
+Style Summary
+       LabelCounter          summary
+       LabelString           "Summary \arabic{summary}."
+End
+
+
+Style Acknowledgement
+       LabelCounter          acknowledgement
+       LabelString           "Acknowledgement \arabic{acknowledgement}."
+End
+
+
+Style Case
+       LabelCounter          case
+       LabelString           "Case \arabic{case}."
+End
+
+
+Style Conclusion
+       LabelCounter          conclusion
+       LabelString           "Conclusion \arabic{conclusion}."
+End