equal
deleted
inserted
replaced
98 \newenvironment{vanishML}{% |
98 \newenvironment{vanishML}{% |
99 \renewcommand{\isacommand}[1]{}% |
99 \renewcommand{\isacommand}[1]{}% |
100 \renewcommand{\isacharverbatimopen}{}% |
100 \renewcommand{\isacharverbatimopen}{}% |
101 \renewcommand{\isacharverbatimclose}{}}{} |
101 \renewcommand{\isacharverbatimclose}{}}{} |
102 |
102 |
103 \isakeeptag{TutorialML} |
103 \isakeeptag{grayML} |
104 \renewcommand{\isatagTutorialML}{\begin{vanishML}\begin{graybox}} |
104 \renewcommand{\isataggrayML}{\begin{vanishML}\begin{graybox}} |
105 \renewcommand{\endisatagTutorialML}{\end{graybox}\end{vanishML}} |
105 \renewcommand{\endisataggrayML}{\end{graybox}\end{vanishML}} |
106 |
106 |
107 \isakeeptag{TutorialMLprf} |
|
108 \renewcommand{\isatagTutorialMLprf}{\begin{grayboxwithoutsep}} |
|
109 \renewcommand{\endisatagTutorialMLprf}{\end{grayboxwithoutsep}} |
|
110 |
107 |
111 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
108 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
112 % for code that has line numbers |
109 % for code that has line numbers |
113 \newenvironment{linenos}{\resetlinenumber\internallinenumbers}{\par\nolinenumbers} |
110 \newenvironment{linenos}{\resetlinenumber\internallinenumbers}{\par\nolinenumbers} |
114 |
111 |