lib/Tools/mkdir
changeset 8488 58e37d59c146
parent 8475 deb604b3d9a9
child 8501 2ff3d25943f1
equal deleted inserted replaced
8487:5f3b0e02ec15 8488:58e37d59c146
   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