X-Git-Url: https://git.lyx.org/gitweb/?a=blobdiff_plain;f=lib%2Flayouts%2Ftheorems-counters-extended-bytype.inc;h=4d4cd1b789d2b6ccf5f1d2ba40b92284d9a9bb7e;hb=28f76b84c96323e4dad43140121aae01820b4c38;hp=14b760f2ba3a3f86b6294628f9b3c2cf2ad75174;hpb=d2d7c41643329c4697cf27e7e54fc82d1666cbe4;p=lyx.git

diff --git a/lib/layouts/theorems-counters-extended-bytype.inc b/lib/layouts/theorems-counters-extended-bytype.inc
index 14b760f2ba..4d4cd1b789 100644
--- a/lib/layouts/theorems-counters-extended-bytype.inc
+++ b/lib/layouts/theorems-counters-extended-bytype.inc
@@ -3,33 +3,43 @@
 Format 104
 Counter criterion
 	GuiName Criterion
+	PrettyFormat "Criterion \arabic{theorem}"
 End
 Counter algorithm
 	GuiName Algorithm
 	LaTeXName lyxalgorithm
+	PrettyFormat "Algorithm \arabic{theorem}"
 End
 Counter axiom
 	GuiName Axiom
 	LaTeXName ax
+	PrettyFormat "Axiom \arabic{theorem}"
 End
 Counter condition
 	GuiName Condition
+	PrettyFormat "Condition \arabic{theorem}"
 End
 Counter note
 	GuiName Note
+	PrettyFormat "Note \arabic{theorem}"
 End
 Counter notation
 	GuiName Notation
+	PrettyFormat "Notation \arabic{theorem}"
 End
 Counter summary
 	GuiName Summary
+	PrettyFormat "Summary \arabic{theorem}"
 End
 Counter conclusion
 	GuiName Conclusion
+	PrettyFormat "Conclusion \arabic{theorem}"
 End
 Counter assumption
 	GuiName Assumption
+	PrettyFormat "Assumption \arabic{theorem}"
 End
 Counter question
 	GuiName Question
+	PrettyFormat "Question \arabic{theorem}"
 End