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

[lyx.git] / lib / layouts / amsmaths-seq.inc

diff --git a/lib/layouts/amsmaths-seq.inc b/lib/layouts/amsmaths-seq.inc
index 2da1000936d4bfbbe33ac01d5409cee0dc8cc958..4f04aee897a96194bd1cfe083fefaff1237db9aa 100644 (file)
--- a/lib/layouts/amsmaths-seq.inc
+++ b/lib/layouts/amsmaths-seq.inc
@@ -1,6 +1,7 @@
 # Author : David L. Johnson <dlj0@lehigh.edu>
 # 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>
 
 # These are only the theorems styles environnements
 # The environnements defined are :
@@ -24,12 +25,131 @@
 # - Notation
 # - Summary
 # - Acknowledgement
-# - Case
 # - Conclusion
+# - Assumption
+# - Case (regular only -- defined as an enumeration)
 
+Format 5
+
+# Use a simpler preamble.
+
+Preamble
+EndPreamble
+
+
+# but more counters
+
+# Do not restart theorem counter after section change
+Counter
+       Name                  thm
+End
+
+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                  conclusion
+End
+
+Counter
+       Name                  assumption
+End
 
-Format 4
 Style Theorem
+       LabelCounter          thm
+       LabelString           "Theorem \arabic{thm}."
        Preamble
          \theoremstyle{plain}
          \newtheorem{thm}{Theorem}
@@ -38,6 +158,9 @@ End
 
 
 Style Corollary
+       LabelCounter          corollary
+       DependsOn             ""
+       LabelString           "Corollary \arabic{corollary}."
        Preamble
          \theoremstyle{plain}
          \newtheorem{cor}{Corollary}
@@ -46,6 +169,9 @@ End
 
 
 Style Lemma
+       LabelCounter          lemma
+       DependsOn             ""
+       LabelString           "Lemma \arabic{lemma}."
        Preamble
          \theoremstyle{plain}
          \newtheorem{lem}{Lemma}
@@ -54,6 +180,9 @@ End
 
 
 Style Proposition
+       LabelCounter          proposition
+       DependsOn             ""
+       LabelString           "Proposition \arabic{proposition}."
        Preamble
          \theoremstyle{plain}
          \newtheorem{prop}{Proposition}
@@ -62,6 +191,9 @@ End
 
 
 Style Conjecture
+       LabelCounter          conjecture
+       DependsOn             ""
+       LabelString           "Conjecture \arabic{conjecture}."
        Preamble
          \theoremstyle{plain}
          \newtheorem{conjecture}{Conjecture}
@@ -70,6 +202,9 @@ End
 
 
 Style Criterion
+       LabelCounter          criterion
+       DependsOn             ""
+       LabelString           "Criterion \arabic{criterion}."
        Preamble
          \theoremstyle{plain}
          \newtheorem{criterion}{Criterion}
@@ -78,6 +213,9 @@ End
 
 
 Style Algorithm
+       LabelCounter          algorithm
+       DependsOn             ""
+       LabelString           "Algorithm \arabic{algorithm}."
        Preamble
          \theoremstyle{plain}
          \newtheorem{algorithm}{Algorithm}
@@ -86,6 +224,9 @@ End
 
 
 Style Fact
+       LabelCounter          fact
+       DependsOn             ""
+       LabelString           "Fact \arabic{fact}."
        Preamble
          \theoremstyle{plain}
          \newtheorem{fact}{Fact}
@@ -94,6 +235,9 @@ End
 
 
 Style Axiom
+       LabelCounter          axiom
+       DependsOn             ""
+       LabelString           "Axiom \arabic{axiom}."
        Preamble
          \theoremstyle{plain}
          \newtheorem{ax}{Axiom}
@@ -102,6 +246,9 @@ End
 
 
 Style Definition
+       LabelCounter          definition
+       DependsOn             ""
+       LabelString           "Definition \arabic{definition}."
        Preamble
         \theoremstyle{definition}
         \newtheorem{defn}{Definition}
@@ -110,6 +257,9 @@ End
 
 
 Style Example
+       LabelCounter          example
+       DependsOn             ""
+       LabelString           "Example \arabic{example}."
        Preamble
         \theoremstyle{definition}
          \newtheorem{example}{Example}
@@ -118,6 +268,9 @@ End
 
 
 Style Condition
+       LabelCounter          condition
+       DependsOn             ""
+       LabelString           "Condition \arabic{condition}."
        Preamble
         \theoremstyle{definition}
          \newtheorem{condition}{Condition}
@@ -126,6 +279,9 @@ End
 
 
 Style Problem
+       LabelCounter          problem
+       DependsOn             ""
+       LabelString           "Problem \arabic{problem}."
        Preamble
         \theoremstyle{definition}
          \newtheorem{problem}{Problem}
@@ -134,6 +290,9 @@ End
 
 
 Style Exercise
+       LabelCounter          exercise
+       DependsOn             ""
+       LabelString           "Exercise \arabic{exercise}."
        Preamble
         \theoremstyle{definition}
          \newtheorem{xca}{Exercise}
@@ -142,6 +301,9 @@ End
 
 
 Style Remark
+       LabelCounter          remark
+       DependsOn             ""
+       LabelString           "Remark \arabic{remark}."
        Preamble
          \theoremstyle{remark}
          \newtheorem{rem}{Remark}
@@ -150,6 +312,9 @@ End
 
 
 Style Claim
+       LabelCounter          claim
+       DependsOn             ""
+       LabelString           "Claim \arabic{claim}."
        Preamble
          \theoremstyle{remark}
          \newtheorem{claim}{Claim}
@@ -158,6 +323,9 @@ End
 
 
 Style Note
+       LabelCounter          note
+       DependsOn             ""
+       LabelString           "Note \arabic{note}."
        Preamble
          \theoremstyle{remark}
          \newtheorem{note}{Note}
@@ -166,6 +334,9 @@ End
 
 
 Style Notation
+       LabelCounter          notation
+       DependsOn             ""
+       LabelString           "Notation \arabic{notation}."
        Preamble
          \theoremstyle{remark}
          \newtheorem{notation}{Notation}
@@ -174,6 +345,9 @@ End
 
 
 Style Summary
+       LabelCounter          summary
+       DependsOn             ""
+       LabelString           "Summary \arabic{summary}."
        Preamble
          \theoremstyle{remark}
          \newtheorem{summary}{Summary}
@@ -182,6 +356,9 @@ End
 
 
 Style Acknowledgement
+       LabelCounter          acknowledgement
+       DependsOn             ""
+       LabelString           "Acknowledgement \arabic{acknowledgement}."
        Preamble
          \theoremstyle{remark}
          \newtheorem{acknowledgement}{Acknowledgement}
@@ -189,21 +366,23 @@ Style Acknowledgement
 End
 
 
-Style Case
+Style Conclusion
+       LabelCounter          conclusion
+       DependsOn             ""
+       LabelString           "Conclusion \arabic{conclusion}."
        Preamble
          \theoremstyle{remark}
-         \newtheorem{case}{Case}
+         \newtheorem{conclusion}{Conclusion}
        EndPreamble
 End
 
 
-Style Conclusion
+Style Assumption
+       LabelCounter          assumption
+       DependsOn             ""
+       LabelString           "Assumption \arabic{assumption}."
        Preamble
-         \theoremstyle{remark}
-         \newtheorem{conclusion}{Conclusion}
+         \theoremstyle{plain}
+         \newtheorem{assumption}{Assumption}
        EndPreamble
 End
-
-
-
-