amsdefs.inc, amsmaths.inc: allow optional arguments for AMS environments, fixes http...

git-svn-id: svn://svn.lyx.org/lyx/lyx-devel/trunk@21683 a592a061-630c-0410-9148-cb99ea01b6c8

diff --git a/lib/layouts/amsdefs.inc b/lib/layouts/amsdefs.inc
index b9b0e6f988aea0e04fcb60e187942a0bb498b57d..8d27401e5569f3579bdcd86141f9ae741c3f6413 100644 (file)
--- a/lib/layouts/amsdefs.inc
+++ b/lib/layouts/amsdefs.inc
@@ -31,6 +31,7 @@ Style Proof
        LatexType             Environment
        LatexName             proof
        NextNoIndent          1
+       OptionalArgs          1
        LabelSep              xx
        ParIndent             MMM
        ParSkip               0.4

diff --git a/lib/layouts/amsmaths.inc b/lib/layouts/amsmaths.inc
index c2baa7916e27ad0b5c5faf3b04bf29ecf6acbb16..973956f4fc011e598b77a2c7a7ec6d917513b80c 100644 (file)
--- a/lib/layouts/amsmaths.inc
+++ b/lib/layouts/amsmaths.inc
@@ -46,6 +46,7 @@ Style Theorem
        LatexType             Environment
        LatexName             thm
        NextNoIndent          1
+       OptionalArgs          1
        LabelSep              xx
        ParIndent             MMM
        ParSkip               0.4