X-Git-Url: https://git.lyx.org/gitweb/?a=blobdiff_plain;f=lib%2Flayouts%2Ftheorems-proof.inc;h=219c24061140de6f2b186b7ab547c6ac180c7a6c;hb=0c993b513588454e9bbfecb27b6f160c79188d21;hp=b10944e5f2cae2a738f61423e400439e44f24ea2;hpb=e392cff392dc8bd76ac9e05809b09510432702c3;p=lyx.git diff --git a/lib/layouts/theorems-proof.inc b/lib/layouts/theorems-proof.inc index b10944e5f2..219c240611 100644 --- a/lib/layouts/theorems-proof.inc +++ b/lib/layouts/theorems-proof.inc @@ -8,15 +8,18 @@ # Tinkered with Sep. '07 by Paul Rubin # Modularized Jan 08 by Richard Heck -Format 26 +Format 43 Style Proof - Category Theorem + Category Reasoning Margin First_Dynamic LatexType Environment LatexName proof NextNoIndent 1 - OptionalArgs 1 + Argument 1 + LabelString "Alternative Proof String" + Tooltip "Alternative proof string" + EndArgument LabelSep xx ParIndent MMM ParSkip 0.4