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