products/Sources/formale Sprachen/Isabelle/HOL/SPARK/etc image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: stdletter.inc   Sprache: Unknown

# Letter textclass definition file
# Author : Matthias Ettrich <[email protected]>
# Heavily modifed and enhanced by several developers.

# General textclass parameters
Columns   1
Sides   1
PageStyle  Empty

# This is just to show how to declare the default font.
# The defaults are exactly those shown here.
DefaultFont
  Family  Roman
  Series  Medium
  Shape   Up
  Size   Normal
  Color   None
EndFont

# Standard style definition
Style Standard
  Margin    Static
  LatexType   Paragraph
  LatexName   dummy
  ParIndent  MM
  ParSkip   0.4
  Align   Block
  AlignPossible  Block, Left, Right, Center
  LabelType   No_Label
End

# My Address style
Style My_Address
  Margin  Right_Address_Box
  LatexType  Command
  LatexName  address
  ParSkip  0.4
  BottomSep  1.5
  ParSep  1.5
  Align   Left
  AlignPossible  Left
End

# Send_To_Address style definition
Style Send_To_Address
  Margin  Static
  LatexType  Command
  LatexName  letter
  KeepEmpty  1  
  ParSkip  0.4
  BottomSep  1.5
  ParSep  1.5
  Align   Left
  AlignPossible  Block, Left, Right, Center
  LabelType  No_Label
  Spacing               Other 1.5
End

# Opening style definition
Style Opening
  Margin    Static
  LatexType   Command
  LatexName   opening
  KeepEmpty  1  
  LeftMargin  Signature::xx
  LabelSep  xx
  TopSep  0.4
  BottomSep  0.4
  ParSep  0.4
  Align   Block
  AlignPossible  Block, Left
  LabelType  Static
  LabelString  Opening:

  # label font definition
  LabelFont 
    Series  Bold
    Shape  Italic
    Latex  Latex
  EndFont
End

# Signature style definition
Style Signature
  Margin    Static
  LatexType   Command
  LatexName   signature
  LeftMargin  Signature::xx
  LabelSep  xx
  TopSep  0.4
  BottomSep  0.4
  ParSep  0.4
  Align   Block
  AlignPossible  Block, Left
  LabelType  Static
  LabelString  Signature:

  # label font definition
  LabelFont 
    Series  Bold
    Shape  Italic
    Latex  Latex
  EndFont
End

# Closing style definition
Style Closing
  Margin    Static
  LatexType   Command
  LatexName   closing
  LeftMargin  Signature::xx
  LabelSep  xx
  TopSep  0.4
  BottomSep  0.4
  ParSep  0.4
  Align   Block
  AlignPossible  Block, Left
  LabelType  Static
  LabelString  Closing:

  # label font definition
  LabelFont 
    Series  Bold
    Shape  Italic
    Latex  Latex
  EndFont
End

# cc style definition
Style cc
  Margin    Static
  LatexType   Command
  LatexName   cc
  LeftMargin  cc:xx
  LabelSep  xx
  TopSep  0.4
  BottomSep  0.4
  ParSep  0.4
  Align   Block
  AlignPossible  Block, Left
  LabelType  Static
  LabelString  cc:
End

# encl style definition
Style encl
  Margin    Static
  LatexType   Command
  LatexName   encl
  LeftMargin  encl:xx
  LabelSep  xx
  TopSep  0.4
  BottomSep  0.4
  ParSep  0.4
  Align   Block
  AlignPossible  Block, Left
  LabelType  Static
  LabelString  encl:
  Spacing               Other 1.5
End

# Telephone style definition
Style Location
  Margin    Static
  LatexType   Command
  LatexName   location
  LeftMargin  Location:xx
  LabelSep  xx
  TopSep  0.4
  BottomSep  0.4
  ParSep  0.4
  Align   Block
  AlignPossible  Block, Left
  LabelType  Static
  LabelString  Location:
  Spacing               Other 1.5
End

# Telephone style definition
Style Telephone
  Margin    Static
  LatexType   Command
  LatexName   telephone
  LeftMargin  Telephone:xx
  LabelSep  xx
  TopSep  0.4
  BottomSep  0.4
  ParSep  0.4
  Align   Block
  AlignPossible  Block, Left
  LabelType  Static
  LabelString  Telephone:
  Spacing               Other 1.5
End


[ Verzeichnis aufwärts0.0unsichere Verbindung  Übersetzung europäischer Sprachen durch Browser  ]