Add Question and Question* theorem types (bug #9015)

[features.git] / lib / layouts / theorems-refprefix.inc

diff --git a/lib/layouts/theorems-refprefix.inc b/lib/layouts/theorems-refprefix.inc
index dc224e992ea96789449a3df5d6d252ce984a0779..87da6b7f11ffd959c67e8422f7f8939f34724b5a 100644 (file)
--- a/lib/layouts/theorems-refprefix.inc
+++ b/lib/layouts/theorems-refprefix.inc
@@ -89,3 +89,8 @@ End
 IfStyle Assumption
        RefPrefix assu
 End
+
+
+IfStyle Question
+       RefPrefix que
+End