]> matita.cs.unibo.it Git - helm.git/blob - helm/papers/matita/kluwer.cls
ocaml 3.09 transition
[helm.git] / helm / papers / matita / kluwer.cls
1 %
2 % This class file (c) Kluwer Academic Publishers.
3 % You are free to use this class file as you see fit, provided 
4 % that you do not make changes to the included macro files. 
5 % If you DO make changes, you are required to rename the files.
6 %        
7 \def\filedate{1998/02/11}
8 \def\kluclassname{kluwer}
9 \def\kluclassversion{1.1}
10 \def\klujnlname{none}
11 \NeedsTeXFormat{LaTeX2e}
12 \ProvidesClass{kluwer}[\filedate\space \kluclassversion\space
13     Kluwer base document class]
14 \newcommand\@ptsize{}
15 \newcommand\@pttensize{1}
16 \newif\if@restonecol
17 \newif\if@openright
18 \DeclareOption{noid}{\PassOptionsToPackage{\CurrentOption}{kluedit}}
19 \DeclareOption{namedreferences}{\PassOptionsToPackage{\CurrentOption}{kluref}}
20 \DeclareOption{numreferences}{\PassOptionsToPackage{\CurrentOption}{kluref}}
21 \DeclareOption{openbib}{\PassOptionsToPackage{\CurrentOption}{kluref}}
22 \DeclareOption{thms}{\PassOptionsToPackage{\CurrentOption}{klumath}}
23 \DeclareOption{mathsec}{\PassOptionsToPackage{\CurrentOption}{klumath}}
24 \DeclareOption{fleqn}{\PassOptionsToPackage{\CurrentOption}{klumath}}
25 \DeclareOption{leqno}{\PassOptionsToPackage{\CurrentOption}{klumath}}
26 \DeclareOption{titlepage}{\PassOptionsToPackage{\CurrentOption}{klulist}}
27 \DeclareOption{klusym}{\PassOptionsToPackage{\CurrentOption}{klumac}}
28 \DeclareOption{a4paper}
29    {\setlength\paperheight {297mm}%
30     \setlength\paperwidth  {210mm}}
31 \DeclareOption{a5paper}
32    {\setlength\paperheight {210mm}%
33     \setlength\paperwidth  {148mm}}
34 \DeclareOption{b5paper}
35    {\setlength\paperheight {250mm}%
36     \setlength\paperwidth  {176mm}}
37 \DeclareOption{letterpaper}
38    {\setlength\paperheight {11in}%
39     \setlength\paperwidth  {8.5in}}
40 \DeclareOption{legalpaper}
41    {\setlength\paperheight {14in}%
42     \setlength\paperwidth  {8.5in}}
43 \DeclareOption{executivepaper}
44    {\setlength\paperheight {10.5in}%
45     \setlength\paperwidth  {7.25in}}
46 \DeclareOption{landscape}
47    {\setlength\@tempdima   {\paperheight}%                        
48     \setlength\paperheight {\paperwidth}%
49     \setlength\paperwidth  {\@tempdima}}
50 \DeclareOption{9pt}{\renewcommand\@pttensize{}\renewcommand\@ptsize{9}}
51 \DeclareOption{10pt}{\renewcommand\@ptsize{0}}
52 \DeclareOption{11pt}{\renewcommand\@ptsize{1}}
53 \DeclareOption{12pt}{\renewcommand\@ptsize{2}}
54 \DeclareOption{oneside}{\@twosidefalse \@mparswitchfalse}
55 \DeclareOption{twoside}{\@twosidetrue  \@mparswitchtrue}
56 \DeclareOption{openright}{\@openrighttrue}                       
57 \DeclareOption{draft}{\setlength\overfullrule{5pt}}
58 \DeclareOption{final}{\setlength\overfullrule{0pt}}
59 \DeclareOption{onecolumn}{\@twocolumnfalse}
60 \DeclareOption{twocolumn}{\@twocolumntrue}
61 \ExecuteOptions{a4paper,11pt,twoside,onecolumn,final,openright}
62 \ProcessOptions
63 %\renewcommand{\encodingdefault}{T1}
64 \IfFileExists{klumac.sty}{\RequirePackage{klumac}[1998/02/11]}{}
65 \AtBeginDocument{\let\sectioncmd\section}               
66 \input{klu\@pttensize\@ptsize.clo}
67 \def\Uppercase#1{#1}
68 \RequirePackage{klulist}[1998/02/11]
69 \RequirePackage{kluopen}[1998/02/11]
70     \def\@date{\vskip \afterdateskip } % no default dates
71 \RequirePackage{kluedit}[1998/02/11]
72 \AtBeginDocument{\let\imarkboth\@gobbletwo}
73 \RequirePackage{klufloa}[1998/02/11]
74 \renewcommand{\fnum@figure}{{\itshape\figurename~\thefigure\figtabdot\/}}
75 \renewcommand{\thetable}{\Roman{table}}
76 \indentedcaptions
77 \RequirePackage{klunote}[1998/02/11]
78 \RequirePackage{kluref}[1998/02/11]
79 \RequirePackage{klumath}[1998/02/11]
80 \RequirePackage{klusec}[1998/02/11]
81 \setlength\textheight{559pt}
82 \setlength\textwidth{28pc}
83 \setlength\marginparwidth{0pt}
84 \setlength\lineskip{1\p@}
85 \setlength\normallineskip{1\p@}
86 \renewcommand\baselinestretch{}
87 \@lowpenalty 51
88 \@medpenalty 151
89 \@highpenalty 301
90 \@beginparpenalty -\@lowpenalty
91 \@endparpenalty -\@lowpenalty
92 \@itempenalty -\@lowpenalty
93 \DeclareOldFontCommand{\rm}{\normalfont\rmfamily}{\mathrm}
94 \DeclareOldFontCommand{\sf}{\normalfont\sffamily}{\mathsf}
95 \DeclareOldFontCommand{\tt}{\normalfont\ttfamily}{\mathtt}
96 \DeclareOldFontCommand{\bf}{\normalfont\bfseries}{\mathbf}
97 \DeclareOldFontCommand{\it}{\normalfont\itshape}{\mathit}
98 \DeclareOldFontCommand{\sl}{\normalfont\slshape}{\@nomath\sl}
99 \DeclareOldFontCommand{\sc}{\normalfont\scshape}{\@nomath\sc}
100 \providecommand{\cal}{\protect\pcal}
101 \newcommand{\pcal}{\@fontswitch{\relax}{\mathcal}}
102 \providecommand{\mit}{\protect\pmit}
103 \newcommand{\pmit}{\@fontswitch{\relax}{\mathnormal}}
104 \setlength\tabbingsep{\labelsep}
105 \clubpenalty=10000
106 \widowpenalty=10000
107 %%%%%%%                                            
108 \def\kapmathindent{14pt}
109 \pagestyle{headings}
110 \pagenumbering{arabic}
111 \frenchspacing
112 \endinput
113 %% 
114 %% End of file `kluwer.cls'.
115                                         
116
117
118
119
120
121
122