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