removed redundant commands
authorpaulson
Tue Aug 22 11:24:44 2000 +0200 (2000-08-22)
changeset 96777808a1ed6daa
parent 9676 4a3c49420efd
child 9678 97bd508bcb63
removed redundant commands
doc-src/Tutorial/tutorial.tex
doc-src/TutorialI/tutorial.tex
     1.1 --- a/doc-src/Tutorial/tutorial.tex	Tue Aug 22 11:24:24 2000 +0200
     1.2 +++ b/doc-src/Tutorial/tutorial.tex	Tue Aug 22 11:24:44 2000 +0200
     1.3 @@ -1,8 +1,6 @@
     1.4  \documentclass[11pt,a4paper]{report}
     1.5  \usepackage{latexsym,verbatim,graphicx,../iman,extra,../pdfsetup}
     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]
     2.1 --- a/doc-src/TutorialI/tutorial.tex	Tue Aug 22 11:24:24 2000 +0200
     2.2 +++ b/doc-src/TutorialI/tutorial.tex	Tue Aug 22 11:24:44 2000 +0200
     2.3 @@ -4,8 +4,6 @@
     2.4  \usepackage{latexsym,verbatim,graphicx,../iman,extra,comment}
     2.5  \usepackage{../pdfsetup}    %last package!
     2.6  
     2.7 -\usepackage{ttbox}
     2.8 -\newcommand\ttbreak{\vskip-10pt\pagebreak[0]}
     2.9  \newcommand\Out[1]{\texttt{\textsl{#1}}}   %% for output from terminal sessions
    2.10  
    2.11  %\newtheorem{theorem}{Theorem}[section]