changeset 9656 | a3d868043c49 |
parent 9237 | 161fb7f00414 |
child 9788 | df671fa2562a |
9655:a4d2da014ec3 | 9656:a3d868043c49 |
---|---|
189 cat >document/root.tex <<EOF |
189 cat >document/root.tex <<EOF |
190 |
190 |
191 \documentclass[11pt,a4paper]{article} |
191 \documentclass[11pt,a4paper]{article} |
192 \usepackage{isabelle,isabellesym,pdfsetup} |
192 \usepackage{isabelle,isabellesym,pdfsetup} |
193 |
193 |
194 %\urlstyle{rm} |
|
195 %\isabellestyle{it} |
|
196 |
|
194 \begin{document} |
197 \begin{document} |
195 \input{session} |
198 \input{session} |
196 \end{document} |
199 \end{document} |
197 |
200 |
198 EOF |
201 EOF |