equal
deleted
inserted
replaced
13 \usepackage[only,bigsqcap]{stmaryrd} |
13 \usepackage[only,bigsqcap]{stmaryrd} |
14 |
14 |
15 % this should be the last package used |
15 % this should be the last package used |
16 \usepackage{pdfsetup} |
16 \usepackage{pdfsetup} |
17 |
17 |
18 % urls in roman style, theory text in math-similar italics |
18 % urls in roman style, theory text in math-similar italics, with literal underscore |
19 \urlstyle{rm} |
19 \urlstyle{rm} |
20 \isabellestyle{it} |
20 \isabellestyle{literal} |
21 |
21 |
22 % for uniform font size |
22 % for uniform font size |
23 \renewcommand{\isastyle}{\isastyleminor} |
23 \renewcommand{\isastyle}{\isastyleminor} |
24 |
24 |
25 \parindent 0pt\parskip 0.5ex |
25 \parindent 0pt\parskip 0.5ex |
26 |
|
27 \renewcommand{\isacharunderscore}{\_} |
|
28 |
26 |
29 \usepackage{supertabular} |
27 \usepackage{supertabular} |
30 |
28 |
31 \begin{document} |
29 \begin{document} |
32 |
30 |