lib/layouts/theorems-proof.inc

   1 # Author: David L. Johnson <dlj0@lehigh.edu>
   2 # Probably broken by Jean-Marc Lasgouttes <Jean-Marc.Lasgouttes@inria.fr>
   3 # modified and modularized by Emmanuel GUREGHIAN <gureghia@boston.bertin.fr>
   4 # This version has Theorems and other results numbered in one sequence, and all
   5 # numbered environments (figures as well) containing the section number
   6 # (Theorem (1.1), Corollary (1.2) Theorem (1.3), etc.)
   7 # These are only the theorems styles environments
   8 # Tinkered with Sep. '07 by Paul Rubin <rubin@msu.edu>
   9 # Modularized Jan 08 by Richard Kimberly Heck <rikiheck@lyx.org>
  10
  11 Format 99
  12
  13 Style Proof
  14         Category              Reasoning
  15         Margin                First_Dynamic
  16         LatexType             Environment
  17         LatexName             proof
  18         NextNoIndent          1
  19         ResetArgs             1
  20         Argument 1
  21                 LabelString       "Alternative Proof String"
  22                 Tooltip           "Alternative proof string"
  23         EndArgument
  24         LabelSep              xx
  25         ParIndent             MMM
  26         ParSkip               0.4
  27         ItemSep               0.2
  28         TopSep                0.7
  29         BottomSep             0.7
  30         ParSep                0.3
  31         Align                 Block
  32         AlignPossible         Block, Left
  33         LabelType             Static
  34         LabelString           "Proof."
  35         EndLabelType          Box
  36         Font
  37             Shape             Up
  38             Size              Normal
  39         EndFont
  40         LabelFont
  41             Shape             Italic
  42         EndFont
  43         Requires              amsthm
  44         DocBookWrapperTag     figure
  45         DocBookWrapperAttr    role='proof'
  46         DocBookTag            para
  47         DocBookGenerateTitle  true
  48 End
  49