doc-src/Tutorial/tutorial.tex
changeset 9677 7808a1ed6daa
parent 9255 2ceb11a2e190
child 9695 ec7d7f877712
equal deleted inserted replaced
9676:4a3c49420efd 9677:7808a1ed6daa
     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}
       
     5 \newcommand\ttbreak{\vskip-10pt\pagebreak[0]}
       
     6 \newcommand\Out[1]{\texttt{\textsl{#1}}}   %% for output from terminal sessions
     4 \newcommand\Out[1]{\texttt{\textsl{#1}}}   %% for output from terminal sessions
     7 
     5 
     8 %\newtheorem{theorem}{Theorem}[section]
     6 %\newtheorem{theorem}{Theorem}[section]
     9 \newtheorem{Exercise}{Exercise}[section]
     7 \newtheorem{Exercise}{Exercise}[section]
    10 \newenvironment{exercise}{\begin{Exercise}\rm}{\end{Exercise}}
     8 \newenvironment{exercise}{\begin{Exercise}\rm}{\end{Exercise}}