equal
deleted
inserted
replaced
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}} |
17 \newcommand{\ichcite}[1]{[Impl.\,Man., Ch.~\impref{#1}]} |
17 \newcommand{\ichcite}[1]{[Impl.\,Man., Ch.~\impref{#1}]} |
18 \newcommand{\isccite}[1]{[Impl.\,Man., Sec.~\impref{#1}]} |
18 \newcommand{\isccite}[1]{[Impl.\,Man., Sec.~\impref{#1}]} |
|
19 \externaldocument[R-]{isar-ref} |
|
20 \newcommand{\isarref}[1]{\ref{R-#1}} |
|
21 \newcommand{\rchcite}[1]{[Isar Ref.\,Man., Ch.~\isarref{#1}]} |
|
22 \newcommand{\rsccite}[1]{[Isar Ref.\,Man., Sec.~\isarref{#1}]} |
19 |
23 |
20 \usepackage{pdfsetup} |
24 \usepackage{pdfsetup} |
21 |
25 |
22 \urlstyle{rm} |
26 \urlstyle{rm} |
23 \renewcommand{\isastyletxt}{\isastyletext}% use same formatting for txt and text |
27 \renewcommand{\isastyletxt}{\isastyletext}% use same formatting for txt and text |