changeset 9677 | 7808a1ed6daa |
parent 9644 | 6b0b6b471855 |
child 9695 | ec7d7f877712 |
1.1 --- a/doc-src/TutorialI/tutorial.tex Tue Aug 22 11:24:24 2000 +0200 1.2 +++ b/doc-src/TutorialI/tutorial.tex Tue Aug 22 11:24:44 2000 +0200 1.3 @@ -4,8 +4,6 @@ 1.4 \usepackage{latexsym,verbatim,graphicx,../iman,extra,comment} 1.5 \usepackage{../pdfsetup} %last package! 1.6 1.7 -\usepackage{ttbox} 1.8 -\newcommand\ttbreak{\vskip-10pt\pagebreak[0]} 1.9 \newcommand\Out[1]{\texttt{\textsl{#1}}} %% for output from terminal sessions 1.10 1.11 %\newtheorem{theorem}{Theorem}[section]