changeset 9255 | 2ceb11a2e190 |
parent 8828 | 5be2d1745c61 |
child 9677 | 7808a1ed6daa |
--- a/doc-src/Tutorial/tutorial.tex Thu Jul 06 00:09:45 2000 +0200 +++ b/doc-src/Tutorial/tutorial.tex Thu Jul 06 09:46:56 2000 +0200 @@ -3,6 +3,7 @@ \usepackage{ttbox} \newcommand\ttbreak{\vskip-10pt\pagebreak[0]} +\newcommand\Out[1]{\texttt{\textsl{#1}}} %% for output from terminal sessions %\newtheorem{theorem}{Theorem}[section] \newtheorem{Exercise}{Exercise}[section]