equal
deleted
inserted
replaced
91 % should only be used in ML code |
91 % should only be used in ML code |
92 \isakeeptag{linenosgray} |
92 \isakeeptag{linenosgray} |
93 \renewcommand{\isataglinenosgray}{\begin{vanishML}\begin{graybox}\resetlinenumber\internallinenumbers} |
93 \renewcommand{\isataglinenosgray}{\begin{vanishML}\begin{graybox}\resetlinenumber\internallinenumbers} |
94 \renewcommand{\endisataglinenosgray}{\par\nolinenumbers\end{graybox}\end{vanishML}} |
94 \renewcommand{\endisataglinenosgray}{\par\nolinenumbers\end{graybox}\end{vanishML}} |
95 |
95 |
|
96 \isakeeptag{small} |
|
97 \renewcommand{\isatagsmall}{\begingroup\small} |
|
98 \renewcommand{\endisatagsmall}{\endgroup} |
|
99 |
96 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
100 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
97 \renewenvironment{isabelle} |
101 \renewenvironment{isabelle} |
98 {\begin{trivlist}\begin{isabellebody}\small\item\relax} |
102 {\begin{trivlist}\begin{isabellebody}\small\item\relax} |
99 {\end{isabellebody}\end{trivlist}} |
103 {\end{isabellebody}\end{trivlist}} |
100 |
104 |