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{\isccite}[1]{[Impl.\,Man., sec.~\impref{#1}]} |
13 \newcommand{\ichcite}[1]{[FIXME ref]} |
|
14 %\newcommand{\isccite}[1]{[Impl.\,Man., sec.~\impref{#1}]} |
|
15 \newcommand{\isccite}[1]{[FIXME ref]} |
14 |
16 |
15 \usepackage{pdfsetup} |
17 \usepackage{pdfsetup} |
16 |
18 |
17 \urlstyle{rm} |
19 \urlstyle{rm} |
18 \renewcommand{\isastyletxt}{\isastyletext}% use same formatting for txt and text |
20 \renewcommand{\isastyletxt}{\isastyletext}% use same formatting for txt and text |
19 \renewcommand{\isastyle}{\isastyleminor}% use same formatting for txt and text |
21 \renewcommand{\isastyle}{\isastyleminor}% use same formatting for txt and text |
20 \isadroptag{theory} |
22 \isadroptag{theory} |
21 |
23 |
22 \newenvironment{readmore} |
24 % sane default for proof documents |
23 {\makebox[0pt][r]{\fbox{\textbf{Read More}}~~}\it}{} |
25 \parindent 0pt\parskip 0.6ex |
|
26 |
|
27 |
|
28 % for comments on the margin |
|
29 \newcommand{\readmoremarginpar}[1]% |
|
30 {\marginpar[\raggedleft\small{#1}]{\raggedright\small{#1}}} |
|
31 |
|
32 \newenvironment{readmore}% |
|
33 {\hspace{-3pt}\readmoremarginpar{\fbox{\textbf{Read More}}}\it}{} |
24 |
34 |
25 \newtheorem{exercise}{Exercise}[section] |
35 \newtheorem{exercise}{Exercise}[section] |
26 |
36 |
27 |
37 |
28 \begin{document} |
38 \begin{document} |