]> git.lyx.org Git - lyx.git/blobdiff - lib/layouts/theorems-bytype.inc
Backport to generate_contributions.py
[lyx.git] / lib / layouts / theorems-bytype.inc
index f8b6e9cfe3a09583564a2a807ee3b2233ac38441..14cf7f716ad0fe850b2cc4ff6c9252a531f270f8 100644 (file)
@@ -21,7 +21,7 @@
 # - Proof
 # - Case (regular only -- defined as an enumeration)
 
-Format 33
+Format 34
 
 Style Theorem
        Category              Theorem