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         DocBookTag            para
  44         DocBookAttr           role='proof'
  45 End
  46