| author | wenzelm |
| Mon, 11 Sep 2023 19:30:48 +0200 | |
| changeset 78659 | b5f3d1051b13 |
| parent 45277 | 85b0ca9dd82f |
| permissions | -rw-r--r-- |
| 45277 | 1 |
\@ifundefined{verbatim@processline}{\input verbatim.sty}{}
|
2 |
||
3 |
\newwrite \isaverbatim@out |
|
4 |
\def\openisaverbatimout#1{\immediate\openout \isaverbatim@out #1}
|
|
5 |
\def\closeisaverbatimout{\immediate\closeout \isaverbatim@out}
|
|
6 |
\def\isaverbatimwrite{%
|
|
7 |
\@bsphack |
|
8 |
\let\do\@makeother\dospecials |
|
9 |
\catcode`\^^M\active \catcode`\^^I=12 |
|
10 |
\def\verbatim@processline{%
|
|
11 |
\immediate\write\isaverbatim@out |
|
12 |
{\the\verbatim@line}}%
|
|
13 |
\verbatim@start} |
|
14 |
||
15 |
\def\endisaverbatimwrite{%
|
|
16 |
\@esphack} |