X-Git-Url: https://git.lyx.org/gitweb/?a=blobdiff_plain;f=lib%2Flayouts%2Ftheorems.inc;h=394b5ce95705b59d93268c3bbccff56b160583ec;hb=d8a6e0ab70962134792c5eca585fdcd013204649;hp=ab0b47fd1dd2d969198a4023eac3d1db3ac5d026;hpb=7538c953a4dce785c2a62526baf75f2bdfcf7b79;p=lyx.git diff --git a/lib/layouts/theorems.inc b/lib/layouts/theorems.inc index ab0b47fd1d..394b5ce957 100644 --- a/lib/layouts/theorems.inc +++ b/lib/layouts/theorems.inc @@ -19,10 +19,10 @@ # - Claim # - Case (by inclusion) -Format 40 +Format 43 Style Theorem - Category Theorem + Category Reasoning Margin First_Dynamic LatexType Environment LatexName thm