commit 820bfe3d1011e681975cef6a9e458759801f7177
Author: Richard Heck <[email protected]>
Date: Sun Dec 6 15:45:44 2015 -0500
Changes to theorems-named.module that fix #8796.
diff --git a/lib/layouts/theorems-named.module
b/lib/layouts/theorems-named.module
index 9ef1f2a..94b3a87 100644
--- a/lib/layouts/theorems-named.module
+++ b/lib/layouts/theorems-named.module
@@ -4,10 +4,54 @@
# Facilitates the use of named theorems. The name of the theorem
# goes into the 'Additional Theorem Text' argument.
#DescriptionEnd
-#Requires: theorems-ams | theorems-starred
#Original Author: John Perry
Format 58
+
+ProvideStyle Theorem*
+ Category Reasoning
+ LatexType Environment
+ Margin First_Dynamic
+ LatexName thm*
+ LabelType Static
+ LabelString "Theorem."
+ NextNoIndent 1
+ ResetArgs 1
+ Argument 1
+ LabelString "Additional Theorem Text"
+ Tooltip "Additional text appended to the theorem header"
+ EndArgument
+ LabelSep xx
+ ParIndent MMM
+ ParSkip 0.4
+ ItemSep 0.2
+ TopSep 0.7
+ BottomSep 0.7
+ ParSep 0.3
+ Align Block
+ AlignPossible Left
+ Font
+ Shape Italic
+ Size Normal
+ EndFont
+ LabelFont
+ Shape Up
+ Series Bold
+ EndFont
+ Preamble
+ \theoremstyle{plain}
+ \newtheorem*{thm*}{\protect\theoremname}
+ EndPreamble
+ LangPreamble
+ \providecommand{\theoremname}{_(Theorem)}
+ EndLangPreamble
+ BabelPreamble
+ \addto\captions$$lang{\renewcommand{\theoremname}{_(Theorem)}}
+ EndBabelPreamble
+ Requires amsthm
+End
+
+
Style "Named Theorem"
CopyStyle Theorem*
Category Reasoning
