equal
deleted
inserted
replaced
21 |
21 |
22 \urlstyle{rm} |
22 \urlstyle{rm} |
23 \renewcommand{\isastyletxt}{\isastyletext}% use same formatting for txt and text |
23 \renewcommand{\isastyletxt}{\isastyletext}% use same formatting for txt and text |
24 \renewcommand{\isastyleminor}{\tt\slshape}% |
24 \renewcommand{\isastyleminor}{\tt\slshape}% |
25 \renewcommand{\isastyle}{\small\tt\slshape}% |
25 \renewcommand{\isastyle}{\small\tt\slshape}% |
26 %%\isadroptag{theory} |
26 \isadroptag{theory} |
27 |
27 |
28 % sane default for proof documents |
28 % sane default for proof documents |
29 \parindent 0pt\parskip 0.6ex |
29 \parindent 0pt\parskip 0.6ex |
30 |
30 |
31 % for comments on the margin |
31 % for comments on the margin |