]> git.lyx.org Git - lyx.git/blobdiff - lib/layouts/theorems-bytype.inc
Add tableaux to outliner
[lyx.git] / lib / layouts / theorems-bytype.inc
index 24c8accb5c303752a6a439cc69d1d9223b09cc78..60dc2f79a5e9ce668304c091df77d2134756a63b 100644 (file)
@@ -22,7 +22,7 @@
 # - Proof
 # - Case (by inclusion)
 
-Format 57
+Format 63
 
 Style Theorem
        Category              Reasoning