equal
deleted
inserted
replaced
83 |
83 |
84 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
84 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
85 \renewenvironment{isabelle} |
85 \renewenvironment{isabelle} |
86 {\begin{trivlist}\begin{isabellebody}\small\item\relax} |
86 {\begin{trivlist}\begin{isabellebody}\small\item\relax} |
87 {\end{isabellebody}\end{trivlist}} |
87 {\end{isabellebody}\end{trivlist}} |
|
88 |
|
89 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|
90 % for {* *} in antiquotations |
|
91 \newcommand{\isasymverbopen}{\isacharverbatimopen} |
|
92 \newcommand{\isasymverbclose}{\isacharverbatimclose} |
|
93 |
88 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
94 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
89 \begin{document} |
95 \begin{document} |
90 |
96 |
91 \title{\mbox{}\\[-10ex] |
97 \title{\mbox{}\\[-10ex] |
92 \includegraphics[scale=0.5]{cookbook-logo.jpg}\\[3ex] |
98 \includegraphics[scale=0.5]{cookbook-logo.jpg}\\[3ex] |