equal
deleted
inserted
replaced
107 |
107 |
108 \isakeeptag{linenos} |
108 \isakeeptag{linenos} |
109 \renewcommand{\isataglinenos}{\begin{linenos}} |
109 \renewcommand{\isataglinenos}{\begin{linenos}} |
110 \renewcommand{\endisataglinenos}{\end{linenos}} |
110 \renewcommand{\endisataglinenos}{\end{linenos}} |
111 |
111 |
112 % should only be used in ML code |
112 % should be used in ML code |
113 \isakeeptag{linenosgray} |
113 \isakeeptag{linenosgray} |
114 \renewcommand{\isataglinenosgray}{\begin{vanishML}\begin{graybox}\begin{linenos}} |
114 \renewcommand{\isataglinenosgray}{\begin{vanishML}\begin{graybox}\begin{linenos}} |
115 \renewcommand{\endisataglinenosgray}{\end{linenos}\end{graybox}\end{vanishML}} |
115 \renewcommand{\endisataglinenosgray}{\end{linenos}\end{graybox}\end{vanishML}} |
|
116 |
|
117 \isakeeptag{graylinenos} |
|
118 \renewcommand{\isataggraylinenos}{\begin{graybox}\begin{linenos}} |
|
119 \renewcommand{\endisataggraylinenos}{\end{linenos}\end{graybox}} |
116 |
120 |
117 \isakeeptag{gray} |
121 \isakeeptag{gray} |
118 \renewcommand{\isataggray}{\begin{graybox}} |
122 \renewcommand{\isataggray}{\begin{graybox}} |
119 \renewcommand{\endisataggray}{\end{graybox}} |
123 \renewcommand{\endisataggray}{\end{graybox}} |
120 |
124 |