Update layouts to version 90

[features.git] / lib / layouts / theorems-starred-equivalents.inc

diff --git a/lib/layouts/theorems-starred-equivalents.inc b/lib/layouts/theorems-starred-equivalents.inc
index fc18b9c76fe38c473e6b95232dc85f914d57ca46..c65eea0b0a288b436ae1fdabf00187fa94101036 100644 (file)
--- a/lib/layouts/theorems-starred-equivalents.inc
+++ b/lib/layouts/theorems-starred-equivalents.inc
@@ -1,7 +1,7 @@
 # Sets the order of the main theorem environments
-# Author: Richard Heck
+# Author: Richard Kimberly Heck
 
-Format 22
+Format 90
 
 Style Theorem
        CopyStyle       Theorem*
@@ -52,6 +52,13 @@ Style Example
        EndPreamble
 End
 
+Style Solution
+       CopyStyle       Solution*
+       DependsOn       Solution*
+       Preamble
+       EndPreamble
+End
+
 Style Problem
        CopyStyle       Problem*
        DependsOn       Problem*