equal
deleted
inserted
replaced
7 |
7 |
8 % Cross references to other manuals: |
8 % Cross references to other manuals: |
9 \usepackage{xr} |
9 \usepackage{xr} |
10 \externaldocument[I-]{implementation} |
10 \externaldocument[I-]{implementation} |
11 \newcommand{\impref}[1]{\ref{I-#1}} |
11 \newcommand{\impref}[1]{\ref{I-#1}} |
12 \newcommand{\ichcite}[1]{[Impl.\,Man., ch.~\impref{#1}]} |
12 \newcommand{\ichcite}[1]{[Impl.\,Man., Ch.~\impref{#1}]} |
13 \newcommand{\isccite}[1]{[Impl.\,Man., sec.~\impref{#1}]} |
13 \newcommand{\isccite}[1]{[Impl.\,Man., Sec.~\impref{#1}]} |
14 |
14 |
15 \usepackage{pdfsetup} |
15 \usepackage{pdfsetup} |
16 |
16 |
17 \urlstyle{rm} |
17 \urlstyle{rm} |
18 \renewcommand{\isastyletxt}{\isastyletext}% use same formatting for txt and text |
18 \renewcommand{\isastyletxt}{\isastyletext}% use same formatting for txt and text |