doc-src/Tutorial/tutorial.tex
changeset 9695 ec7d7f877712
parent 9677 7808a1ed6daa
equal deleted inserted replaced
9694:13f3aaf12be2 9695:ec7d7f877712
     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,../ttbox,../pdfsetup}
     3 
     3 
     4 \newcommand\Out[1]{\texttt{\textsl{#1}}}   %% for output from terminal sessions
     4 \newcommand\Out[1]{\texttt{\textsl{#1}}}   %% for output from terminal sessions
     5 
     5 
     6 %\newtheorem{theorem}{Theorem}[section]
     6 %\newtheorem{theorem}{Theorem}[section]
     7 \newtheorem{Exercise}{Exercise}[section]
     7 \newtheorem{Exercise}{Exercise}[section]