--- a/doc-src/Tutorial/tutorial.tex Tue Aug 22 11:24:24 2000 +0200
+++ b/doc-src/Tutorial/tutorial.tex Tue Aug 22 11:24:44 2000 +0200
@@ -1,8 +1,6 @@
\documentclass[11pt,a4paper]{report}
\usepackage{latexsym,verbatim,graphicx,../iman,extra,../pdfsetup}
-\usepackage{ttbox}
-\newcommand\ttbreak{\vskip-10pt\pagebreak[0]}
\newcommand\Out[1]{\texttt{\textsl{#1}}} %% for output from terminal sessions
%\newtheorem{theorem}{Theorem}[section]
--- a/doc-src/TutorialI/tutorial.tex Tue Aug 22 11:24:24 2000 +0200
+++ b/doc-src/TutorialI/tutorial.tex Tue Aug 22 11:24:44 2000 +0200
@@ -4,8 +4,6 @@
\usepackage{latexsym,verbatim,graphicx,../iman,extra,comment}
\usepackage{../pdfsetup} %last package!
-\usepackage{ttbox}
-\newcommand\ttbreak{\vskip-10pt\pagebreak[0]}
\newcommand\Out[1]{\texttt{\textsl{#1}}} %% for output from terminal sessions
%\newtheorem{theorem}{Theorem}[section]