X-Git-Url: https://git.lyx.org/gitweb/?a=blobdiff_plain;f=lib%2Flayouts%2Ftheorems-refprefix.inc;h=ed0d9e4ce776748e1cc7582605d31c89c48a03e1;hb=6c2a8df504b098d9af466552887073d3a19ae3b2;hp=5d453e51bb24a0718e6447930281cb0b32fed948;hpb=0ae337014ec6cfbe7bb884c4f70b8e66764c22c8;p=lyx.git

diff --git a/lib/layouts/theorems-refprefix.inc b/lib/layouts/theorems-refprefix.inc
index 5d453e51bb..ed0d9e4ce7 100644
--- a/lib/layouts/theorems-refprefix.inc
+++ b/lib/layouts/theorems-refprefix.inc
@@ -1,100 +1,100 @@
 # Reference prefixes for theorem environments
 
-Format 57
+Format 63
 
-IfStyle Theorem
+ModifyStyle Theorem
 	RefPrefix thm
 End
 
-IfStyle Corollary
+ModifyStyle Corollary
 	RefPrefix cor
 End
 
-IfStyle Lemma
+ModifyStyle Lemma
 	RefPrefix lem
 End
 
-IfStyle Proposition
+ModifyStyle Proposition
 	RefPrefix prop
 End
 
-IfStyle Conjecture
+ModifyStyle Conjecture
 	RefPrefix conj
 End
 
-IfStyle Definition
+ModifyStyle Definition
 	RefPrefix def
 End
 
-IfStyle Example
+ModifyStyle Example
 	RefPrefix exa
 End
 
-IfStyle Problem
+ModifyStyle Problem
 	RefPrefix prob
 End
 
-IfStyle Exercise
+ModifyStyle Exercise
 	RefPrefix exer
 End
 
-IfStyle Solution
+ModifyStyle Solution
 	RefPrefix solu
 End
 
-IfStyle Remark
+ModifyStyle Remark
 	RefPrefix rem
 End
 
-IfStyle Claim
+ModifyStyle Claim
 	RefPrefix claim
 End
 
-IfStyle Fact
+ModifyStyle Fact
 	RefPrefix fact
 End
 
-IfStyle Criterion
+ModifyStyle Criterion
 	RefPrefix cri
 End
 
-IfStyle Algorithm
+ModifyStyle Algorithm
 	RefPrefix alg
 End
 
-IfStyle Axiom
+ModifyStyle Axiom
 	RefPrefix axm
 End
 
-IfStyle Condition
+ModifyStyle Condition
 	RefPrefix cond
 End
 
-IfStyle Note
+ModifyStyle Note
 	RefPrefix note
 End
 
-IfStyle Notation
+ModifyStyle Notation
 	RefPrefix nota
 End
 
-IfStyle Summary
+ModifyStyle Summary
 	RefPrefix sum
 End
 
-IfStyle Acknowledgement
+ModifyStyle Acknowledgement
 	RefPrefix ack
 End
 
-IfStyle Conclusion
+ModifyStyle Conclusion
 	RefPrefix conc
 End
 
-IfStyle Assumption
+ModifyStyle Assumption
 	RefPrefix assu
 End
 
 
-IfStyle Question
+ModifyStyle Question
 	RefPrefix que
 End