include intl/libintl.h that is relative to $TOP_SRCDIR/src

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

diff --git a/lib/layouts/amsart-seq.layout b/lib/layouts/amsart-seq.layout
index 31eee4e4da07f64ad162c3c10d7ad353bb59f399..23f25606f949ecbe62c403c44ac3adf0ba499c0a 100644 (file)
--- a/lib/layouts/amsart-seq.layout
+++ b/lib/layouts/amsart-seq.layout
@@ -11,8 +11,9 @@
 #
 # Probably broken by Jean-Marc Lasgouttes <Jean-Marc.Lasgouttes@inria.fr>
 # modified and modularized by Emmanuel GUREGHIAN <gureghia@boston.bertin.fr>
+# Tinkered with Sep. '07 by Paul Rubin <rubin@msu.edu>
 
-Format 4
+Format 5
 Input amsart.layout
 
 # Change the definitions of the theorem-like environments to get a
@@ -20,247 +21,3 @@ Input amsart.layout
 
 Input amsmaths-seq.inc
 
-# Use a simpler 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