lib/Tools/mkdir
changeset 8289 5b288a96bc61
parent 8244 c587f5ac4a98
child 8475 deb604b3d9a9
equal deleted inserted replaced
8288:ebf874fcbff2 8289:5b288a96bc61
   183     cat >document/root.tex <<EOF
   183     cat >document/root.tex <<EOF
   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}}
       
   189 \parindent 0pt \parskip 0.5ex
       
   190 
   188 \begin{document}
   191 \begin{document}
   189 \input{session}
   192 \input{session}
   190 \end{document}
   193 \end{document}
   191 
   194 
   192 EOF
   195 EOF