doc-src/Tutorial/tutorial.tex
changeset 9255 2ceb11a2e190
parent 8828 5be2d1745c61
child 9677 7808a1ed6daa
equal deleted inserted replaced
9254:f8a0e8b9bcd8 9255:2ceb11a2e190
     1 \documentclass[11pt,a4paper]{report}
     1 \documentclass[11pt,a4paper]{report}
     2 \usepackage{latexsym,verbatim,graphicx,../iman,extra,../pdfsetup}
     2 \usepackage{latexsym,verbatim,graphicx,../iman,extra,../pdfsetup}
     3 
     3 
     4 \usepackage{ttbox}
     4 \usepackage{ttbox}
     5 \newcommand\ttbreak{\vskip-10pt\pagebreak[0]}
     5 \newcommand\ttbreak{\vskip-10pt\pagebreak[0]}
       
     6 \newcommand\Out[1]{\texttt{\textsl{#1}}}   %% for output from terminal sessions
     6 
     7 
     7 %\newtheorem{theorem}{Theorem}[section]
     8 %\newtheorem{theorem}{Theorem}[section]
     8 \newtheorem{Exercise}{Exercise}[section]
     9 \newtheorem{Exercise}{Exercise}[section]
     9 \newenvironment{exercise}{\begin{Exercise}\rm}{\end{Exercise}}
    10 \newenvironment{exercise}{\begin{Exercise}\rm}{\end{Exercise}}
    10 \newcommand{\ttlbr}{{\tt[|}}
    11 \newcommand{\ttlbr}{{\tt[|}}