equal
deleted
inserted
replaced
7 \usepackage{proof} |
7 \usepackage{proof} |
8 \usepackage{alltt} |
8 \usepackage{alltt} |
9 \usepackage{rail} |
9 \usepackage{rail} |
10 \usepackage{url} |
10 \usepackage{url} |
11 \usepackage[a4paper,hscale=0.67,vscale=0.76]{geometry} |
11 \usepackage[a4paper,hscale=0.67,vscale=0.76]{geometry} |
|
12 \usepackage{lineno} |
12 \usepackage{pdfsetup} |
13 \usepackage{pdfsetup} |
13 |
14 |
14 \urlstyle{rm} |
15 \urlstyle{rm} |
15 \renewcommand{\isastyletxt}{\isastyletext}% use same formatting for txt and text |
16 \renewcommand{\isastyletxt}{\isastyletext}% use same formatting for txt and text |
16 \renewcommand{\isastyleminor}{\tt\slshape}% |
17 \renewcommand{\isastyleminor}{\tt\slshape}% |
75 |
76 |
76 \renewcommand{\isatagML}{\begin{vanishML}} |
77 \renewcommand{\isatagML}{\begin{vanishML}} |
77 \renewcommand{\endisatagML}{\end{vanishML}} |
78 \renewcommand{\endisatagML}{\end{vanishML}} |
78 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
79 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
79 |
80 |
|
81 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|
82 % for line numbers |
|
83 \isakeeptag{linenumbers} |
|
84 \renewcommand{\isataglinenumbers}{\begin{vanishML}\begingroup\resetlinenumber\linenumbers} |
|
85 \renewcommand{\endisataglinenumbers}{\endgroup\end{vanishML}} |
|
86 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|
87 |
80 \begin{document} |
88 \begin{document} |
81 |
89 |
82 \title{\mbox{}\\[-10ex] |
90 \title{\mbox{}\\[-10ex] |
83 \includegraphics[scale=0.5]{cookbook-logo.jpg}\\[3ex] |
91 \includegraphics[scale=0.5]{cookbook-logo.jpg}\\[3ex] |
84 The Isabelle Programmer's Cookbook (fragment)} |
92 The Isabelle Programmer's Cookbook (fragment)} |