equal
deleted
inserted
replaced
9 \usepackage{pdfsetup} |
9 \usepackage{pdfsetup} |
10 |
10 |
11 % urls in roman style, theory text in math-similar italics |
11 % urls in roman style, theory text in math-similar italics |
12 \urlstyle{rm} |
12 \urlstyle{rm} |
13 \isabellestyle{it} |
13 \isabellestyle{it} |
|
14 |
|
15 \newcommand{\showout}{\mbox{}\hspace{-2em}$\leadsto$\quad} |
14 |
16 |
15 \hyphenation{Isa-belle} |
17 \hyphenation{Isa-belle} |
16 \begin{document} |
18 \begin{document} |
17 |
19 |
18 \title{\LaTeX\ Sugar for Isabelle Documents} |
20 \title{\LaTeX\ Sugar for Isabelle Documents} |