equal
deleted
inserted
replaced
6 \usepackage[pdftex]{graphicx} |
6 \usepackage[pdftex]{graphicx} |
7 \usepackage{proof} |
7 \usepackage{proof} |
8 \usepackage{alltt} |
8 \usepackage{alltt} |
9 \usepackage{rail} |
9 \usepackage{rail} |
10 \usepackage{url} |
10 \usepackage{url} |
11 \usepackage[a4paper,hscale=0.75,vscale=0.85]{geometry} |
11 \usepackage[a4paper,hscale=0.67,vscale=0.76]{geometry} |
12 |
12 |
13 % Cross references to other manuals: |
13 % Cross references to other manuals: |
14 \usepackage{xr} |
14 \usepackage{xr} |
15 \externaldocument[I-]{implementation} |
15 \externaldocument[I-]{implementation} |
16 \newcommand{\impref}[1]{\ref{I-#1}} |
16 \newcommand{\impref}[1]{\ref{I-#1}} |