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 # (Themorem (1.1), Corollary (1.2) Theorem (1.3), etc.
   7 # These are only the theorems styles environnements
   8 # Tinkered with Sep. '07 by Paul Rubin <rubin@msu.edu>
   9 # Modularized Jan 08 by Richard Heck <rgheck@comcast.net>
  10
  11 Format 6
  12
  13 Style Proof
  14         Margin                First_Dynamic
  15         LatexType             Environment
  16         LatexName             proof
  17         NextNoIndent          1
  18         OptionalArgs          1
  19         LabelSep              xx
  20         ParIndent             MMM
  21         ParSkip               0.4
  22         ItemSep               0.2
  23         TopSep                0.7
  24         BottomSep             0.7
  25         ParSep                0.3
  26         Align                 Block
  27         AlignPossible         Block, Left
  28         LabelType             Static
  29         LabelString           "Proof."
  30         EndLabelType          Box
  31         Font
  32           Shape               Up
  33           Size                Normal
  34         EndFont
  35         LabelFont
  36           Shape               Italic
  37         EndFont
  38 End
  39