| changeset 8847 | d6c92979fa51 |
| parent 8828 | 5be2d1745c61 |
| child 9016 | d61c76716984 |
--- a/doc-src/TutorialI/tutorial.tex Tue May 09 16:05:30 2000 +0200 +++ b/doc-src/TutorialI/tutorial.tex Tue May 09 16:05:45 2000 +0200 @@ -1,6 +1,8 @@ + \documentclass[11pt,a4paper]{report} -\usepackage{isabelle,isabellesym,pdfsetup} +\usepackage{isabelle,isabellesym} \usepackage{latexsym,verbatim,graphicx,../iman,extra,comment} +\usepackage{../pdfsetup} %last package! \usepackage{ttbox} \newcommand\ttbreak{\vskip-10pt\pagebreak[0]}