blob: 597152f5c389004b2cf047278a09239857f06716 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
|
% This is coqdoc.sty, by Jean-Christophe Filliâtre
% This LaTeX package is used by coqdoc (http://www.lri.fr/~filliatr/coqdoc)
%
% You can modify the following macros to customize the appearance
% of the document.
\NeedsTeXFormat{LaTeX2e}
\ProvidesPackage{coqdoc}[2002/02/11]
% Headings
\usepackage{fancyhdr}
\newcommand{\coqdocleftpageheader}{\thepage\ -- \today}
\newcommand{\coqdocrightpageheader}{\today\ -- \thepage}
\pagestyle{fancyplain}
%BEGIN LATEX
\headsep 8mm
\renewcommand{\plainheadrulewidth}{0.4pt}
\renewcommand{\plainfootrulewidth}{0pt}
\lhead[\coqdocleftpageheader]{\leftmark}
\rhead[\leftmark]{\coqdocrightpageheader}
\cfoot{}
%END LATEX
% Hevea puts to much space with \medskip and \bigskip
%HEVEA\renewcommand{\medskip}{}
%HEVEA\renewcommand{\bigskip}{}
% own name
\newcommand{\coqdoc}{\textsf{coqdoc}}
% pretty underscores (the package fontenc causes ugly underscores)
%BEGIN LATEX
\def\_{\kern.08em\vbox{\hrule width.35em height.6pt}\kern.08em}
%END LATEX
% macro for typesetting keywords
\newcommand{\coqdockw}[1]{\textsf{#1}}
% macro for typesetting identifiers
\newcommand{\coqdocid}[1]{\textit{#1}}
% newline and indentation
%BEGIN LATEX
\newcommand{\coqdoceol}{\setlength\parskip{0pt}\par}
\newcommand{\coqdocindent}[1]{\noindent\kern#1}
%END LATEX
%HEVEA\newcommand{\coqdoceol}{\begin{rawhtml}<BR>\end{rawhtml}}
%HEVEA\newcommand{\coqdocindent}[1]{\hspace{#1}\hspace{#1}}
% macro for typesetting the title of a module implementation
\newcommand{\coqdocmodule}[1]{\section*{Module #1}\markboth{Module #1}{}
}
%HEVEA\newcommand{\lnot}{\coqwkw{not}}
%HEVEA\newcommand{\lor}{\coqwkw{or}}
%HEVEA\newcommand{\land}{\&}
|
