equal
deleted
inserted
replaced
15 \newcommand{\Figref}[1]{Figure~\ref{#1}} |
15 \newcommand{\Figref}[1]{Figure~\ref{#1}} |
16 |
16 |
17 %% Isar |
17 %% Isar |
18 \newcommand{\isasymBBAR}{{\,\newdimen{\tmpheight}\settoheight\tmpheight{\isacharbar}\rule{1pt}{\tmpheight}\,}} |
18 \newcommand{\isasymBBAR}{{\,\newdimen{\tmpheight}\settoheight\tmpheight{\isacharbar}\rule{1pt}{\tmpheight}\,}} |
19 \renewcommand{\isacommand}[1]{\isakeyword{\isadigitreset#1}} |
19 \renewcommand{\isacommand}[1]{\isakeyword{\isadigitreset#1}} |
|
20 \newcommand{\isasymdoublequote}{\texttt{\upshape"}} |
20 |
21 |
21 %% ML |
22 %% ML |
22 \newenvironment{mldecls}{\par\noindent\begingroup\def\isanewline{\\}\begin{tabular}{ll}}{\end{tabular}\medskip\endgroup} |
23 \newenvironment{mldecls}{\par\noindent\begingroup\def\isanewline{\\}\begin{tabular}{ll}}{\end{tabular}\medskip\endgroup} |
23 |
24 |
24 \renewcommand{\isatagML}{\begingroup\isabellestyle{default}\isastyle\isadigitreset} |
25 \renewcommand{\isatagML}{\begingroup\isabellestyle{default}\isastyle\isadigitreset} |