equal
deleted
inserted
replaced
|
1 |
1 \documentclass[11pt,a4paper]{report} |
2 \documentclass[11pt,a4paper]{report} |
2 \usepackage{isabelle,isabellesym,pdfsetup} |
3 \usepackage{isabelle,isabellesym} |
3 \usepackage{latexsym,verbatim,graphicx,../iman,extra,comment} |
4 \usepackage{latexsym,verbatim,graphicx,../iman,extra,comment} |
|
5 \usepackage{../pdfsetup} %last package! |
4 |
6 |
5 \usepackage{ttbox} |
7 \usepackage{ttbox} |
6 \newcommand\ttbreak{\vskip-10pt\pagebreak[0]} |
8 \newcommand\ttbreak{\vskip-10pt\pagebreak[0]} |
7 \newcommand\Out[1]{\texttt{\textsl{#1}}} %% for output from terminal sessions |
9 \newcommand\Out[1]{\texttt{\textsl{#1}}} %% for output from terminal sessions |
8 |
10 |