commit 28abb40c1b9d8bbe5a96fd8dc11d376669572c6a
Author: Juergen Spitzmueller <[email protected]>
Date: Thu Feb 6 09:18:12 2014 +0100
Add missing refprefixes for theorems (#8781)
Original patch by Paul Rubin
diff --git a/lib/layouts/theorems-ams-extended-bytype.module
b/lib/layouts/theorems-ams-extended-bytype.module
index 993117c..31cedc3 100644
--- a/lib/layouts/theorems-ams-extended-bytype.module
+++ b/lib/layouts/theorems-ams-extended-bytype.module
@@ -404,3 +404,5 @@ Style Assumption*
\addto\captions$$lang{\renewcommand{\assumptionname}{_(Assumption)}}
EndBabelPreamble
End
+
+Input theorems-refprefix.inc
diff --git a/lib/layouts/theorems-ams-extended.module
b/lib/layouts/theorems-ams-extended.module
index 7394e92..b4a886c 100644
--- a/lib/layouts/theorems-ams-extended.module
+++ b/lib/layouts/theorems-ams-extended.module
@@ -407,3 +407,5 @@ Style Question*
\addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}
EndBabelPreamble
End
+
+Input theorems-refprefix.inc
diff --git a/lib/layouts/theorems-refprefix.inc
b/lib/layouts/theorems-refprefix.inc
index fd3b9d8..b055d0e 100644
--- a/lib/layouts/theorems-refprefix.inc
+++ b/lib/layouts/theorems-refprefix.inc
@@ -17,3 +17,75 @@ End
IfStyle Proposition
RefPrefix prop
End
+
+IfStyle Conjecture
+ RefPrefix conj
+End
+
+IfStyle Definition
+ RefPrefix def
+End
+
+IfStyle Example
+ RefPrefix exa
+End
+
+IfStyle Problem
+ RefPrefix prob
+End
+
+IfStyle Exercise
+ RefPrefix exer
+End
+
+IfStyle Remark
+ RefPrefix rem
+End
+
+IfStyle Claim
+ RefPrefix claim
+End
+
+IfStyle Fact
+ RefPrefix fact
+End
+
+IfStyle Criterion
+ RefPrefix cri
+End
+
+IfStyle Algorithm
+ RefPrefix alg
+End
+
+IfStyle Axiom
+ RefPrefix axm
+End
+
+IfStyle Condition
+ RefPrefix cond
+End
+
+IfStyle Note
+ RefPrefix note
+End
+
+IfStyle Notation
+ RefPrefix nota
+End
+
+IfStyle Summary
+ RefPrefix sum
+End
+
+IfStyle Acknowledgement
+ RefPrefix ack
+End
+
+IfStyle Conclusion
+ RefPrefix conc
+End
+
+IfStyle Assumption
+ RefPrefix assu
+End
