equal
deleted
inserted
replaced
25 \newcommand{\isactrlsub}[1]{\emph{\isascriptstyle${}\sb{#1}$}} |
25 \newcommand{\isactrlsub}[1]{\emph{\isascriptstyle${}\sb{#1}$}} |
26 \newcommand{\isactrlsup}[1]{\emph{\isascriptstyle${}\sp{#1}$}} |
26 \newcommand{\isactrlsup}[1]{\emph{\isascriptstyle${}\sp{#1}$}} |
27 \newcommand{\isactrlisub}[1]{\emph{\isascriptstyle${}\sb{#1}$}} |
27 \newcommand{\isactrlisub}[1]{\emph{\isascriptstyle${}\sb{#1}$}} |
28 \newcommand{\isactrlisup}[1]{\emph{\isascriptstyle${}\sp{#1}$}} |
28 \newcommand{\isactrlisup}[1]{\emph{\isascriptstyle${}\sp{#1}$}} |
29 \newcommand{\isactrlbold}[1]{{\bfseries\upshape\boldmath#1}} |
29 \newcommand{\isactrlbold}[1]{{\bfseries\upshape\boldmath#1}} |
|
30 |
|
31 % somewhat hackish: spanning sub/super scripts (\<^bsub>..\<^esub>) |
|
32 \newcommand{\isactrlbsub}{% |
|
33 \def\isatext##1{\isastylescript##1}\begin{math}_\bgroup} |
|
34 \newcommand{\isactrlesub}{\egroup\end{math}} |
|
35 \newcommand{\isactrlbsup}{% |
|
36 \def\isatext##1{\isastylescript##1}\begin{math}^\bgroup} |
|
37 \newcommand{\isactrlesup}{\egroup\end{math}} |
30 |
38 |
31 \newdimen\isa@parindent\newdimen\isa@parskip |
39 \newdimen\isa@parindent\newdimen\isa@parskip |
32 |
40 |
33 \newenvironment{isabellebody}{% |
41 \newenvironment{isabellebody}{% |
34 \isamarkuptrue\par% |
42 \isamarkuptrue\par% |