equal
deleted
inserted
replaced
95 % should only be used in ML code |
95 % should only be used in ML code |
96 \isakeeptag{linenosgray} |
96 \isakeeptag{linenosgray} |
97 \renewcommand{\isataglinenosgray}{\begin{vanishML}\begin{graybox}\begin{linenos}} |
97 \renewcommand{\isataglinenosgray}{\begin{vanishML}\begin{graybox}\begin{linenos}} |
98 \renewcommand{\endisataglinenosgray}{\end{linenos}\end{graybox}\end{vanishML}} |
98 \renewcommand{\endisataglinenosgray}{\end{linenos}\end{graybox}\end{vanishML}} |
99 |
99 |
|
100 \isakeeptag{gray} |
|
101 \renewcommand{\isataggray}{\begin{graybox}} |
|
102 \renewcommand{\endisataggray}{\end{graybox}} |
|
103 |
100 \isakeeptag{small} |
104 \isakeeptag{small} |
101 \renewcommand{\isatagsmall}{\begingroup\small} |
105 \renewcommand{\isatagsmall}{\begingroup\small} |
102 \renewcommand{\endisatagsmall}{\endgroup} |
106 \renewcommand{\endisatagsmall}{\endgroup} |
103 |
107 |
104 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
108 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |