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 22
  12
  13 Style Proof
  14         Category              Theorem
  15         Margin                First_Dynamic
  16         LatexType             Environment
  17         LatexName             proof
  18         NextNoIndent          1
  19         OptionalArgs          1
  20         LabelSep              xx
  21         ParIndent             MMM
  22         ParSkip               0.4
  23         ItemSep               0.2
  24         TopSep                0.7
  25         BottomSep             0.7
  26         ParSep                0.3
  27         Align                 Block
  28         AlignPossible         Block, Left
  29         LabelType             Static
  30         LabelString           "Proof."
  31         EndLabelType          Box
  32         Font
  33           Shape               Up
  34           Size                Normal
  35         EndFont
  36         LabelFont
  37           Shape               Italic
  38         EndFont
  39 End
  40