equal
deleted
inserted
replaced
97 % for {* *} in antiquotations |
97 % for {* *} in antiquotations |
98 \newcommand{\isasymverbopen}{\isacharverbatimopen} |
98 \newcommand{\isasymverbopen}{\isacharverbatimopen} |
99 \newcommand{\isasymverbclose}{\isacharverbatimclose} |
99 \newcommand{\isasymverbclose}{\isacharverbatimclose} |
100 |
100 |
101 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
101 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|
102 % since * cannot be used in text {*...*} |
|
103 \newenvironment{tabularstar}[2] |
|
104 {\begin{tabular*}{#1}{#2}}{\end{tabular*}} |
|
105 |
|
106 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
102 \begin{document} |
107 \begin{document} |
103 |
108 |
104 \title{\mbox{}\\[-10ex] |
109 \title{\mbox{}\\[-10ex] |
105 \includegraphics[scale=0.5]{cookbook-logo.jpg}\\[3ex] |
110 \includegraphics[scale=0.5]{cookbook-logo.jpg}\\[3ex] |
106 The Isabelle Programming Tutorial (fragment)} |
111 The Isabelle Programming Tutorial (fragment)} |