equal
deleted
inserted
replaced
184 |
184 |
185 \documentclass[11pt,a4paper]{article} |
185 \documentclass[11pt,a4paper]{article} |
186 \usepackage{isabelle,isabellesym,pdfsetup} |
186 \usepackage{isabelle,isabellesym,pdfsetup} |
187 |
187 |
188 \renewcommand{\isamarkupheader}[1]{\section{#1}} |
188 \renewcommand{\isamarkupheader}[1]{\section{#1}} |
189 \parindent 0pt \parskip 0.5ex |
|
190 |
189 |
191 \begin{document} |
190 \begin{document} |
192 \input{session} |
191 \input{session} |
193 \end{document} |
192 \end{document} |
194 |
193 |