From 28abb40c1b9d8bbe5a96fd8dc11d376669572c6a Mon Sep 17 00:00:00 2001
From: Juergen Spitzmueller <spitz@lyx.org>
Date: Thu, 6 Feb 2014 09:18:12 +0100
Subject: [PATCH] Add missing refprefixes for theorems (#8781)

Original patch by Paul Rubin
---
 .../theorems-ams-extended-bytype.module       |  2 +
 lib/layouts/theorems-ams-extended.module      |  2 +
 lib/layouts/theorems-refprefix.inc            | 72 +++++++++++++++++++
 3 files changed, 76 insertions(+)

diff --git a/lib/layouts/theorems-ams-extended-bytype.module b/lib/layouts/theorems-ams-extended-bytype.module
index 993117c4ff..31cedc3ef2 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 7394e92d60..b4a886c9db 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 fd3b9d8a2d..b055d0e90b 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
-- 
2.39.5