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