doc-src/Tutorial/tutorial.tex
changeset 9695 ec7d7f877712
parent 9677 7808a1ed6daa
--- a/doc-src/Tutorial/tutorial.tex	Mon Aug 28 13:50:24 2000 +0200
+++ b/doc-src/Tutorial/tutorial.tex	Mon Aug 28 13:52:38 2000 +0200
@@ -1,5 +1,5 @@
 \documentclass[11pt,a4paper]{report}
-\usepackage{latexsym,verbatim,graphicx,../iman,extra,../pdfsetup}
+\usepackage{latexsym,verbatim,graphicx,../iman,../extra,../ttbox,../pdfsetup}
 
 \newcommand\Out[1]{\texttt{\textsl{#1}}}   %% for output from terminal sessions