products/sources/formale Sprachen/Coq/theories/Sets/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: scrbook.layout   Sprache: Unknown

Spracherkennung für: .layout vermutete Sprache: Fortran {Fortran[100] Abap[126] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]

#% Do not delete the line below; configure depends on this
#  \DeclareLaTeXClass[scrbook]{book (koma-script)}
# KOMA scrbook textclass definition file.
# Bernd Rellermeyer <[email protected]>, 1998/7/11.

# General textclass parameters
Input scrclass.inc
Sides                   2
PageStyle               Headings
NoStyle Abstract
        
# Modify bibliography
Style Bibliography
  TopSep                4
  LabelString           Bibliography

  LabelFont 
    Series              Bold
    Size                Largest
  EndFont
End

[ Dauer der Verarbeitung: 0.83 Sekunden  ]