# HG changeset patch # User paulson # Date 966936284 -7200 # Node ID 7808a1ed6daad00627456e19cd290839c944d812 # Parent 4a3c49420efdacacc59f1222f96e696c8dfabab4 removed redundant commands diff -r 4a3c49420efd -r 7808a1ed6daa doc-src/Tutorial/tutorial.tex --- 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] diff -r 4a3c49420efd -r 7808a1ed6daa doc-src/TutorialI/tutorial.tex --- 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]