equal
deleted
inserted
replaced
4 \usepackage{isabellesym} |
4 \usepackage{isabellesym} |
5 \usepackage{charter} |
5 \usepackage{charter} |
6 \usepackage[pdftex]{graphicx} |
6 \usepackage[pdftex]{graphicx} |
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{\ichcite}[1]{[FIXME ref]} |
13 \newcommand{\isccite}[1]{[Impl.\,Man., sec.~\impref{#1}]} |
14 %\newcommand{\isccite}[1]{[Impl.\,Man., sec.~\impref{#1}]} |
|
15 \newcommand{\isccite}[1]{[FIXME ref]} |
|
16 |
14 |
17 \usepackage{pdfsetup} |
15 \usepackage{pdfsetup} |
18 |
16 |
19 \urlstyle{rm} |
17 \urlstyle{rm} |
20 \renewcommand{\isastyletxt}{\isastyletext}% use same formatting for txt and text |
18 \renewcommand{\isastyletxt}{\isastyletext}% use same formatting for txt and text |