|
4171
|
1 |
\newcommand{\isastyle}{\tt} % to set isa font etc.
|
|
|
2 |
\newcommand{\isamodify}{\it} % to modify isa font etc.
|
|
|
3 |
\newcommand{\isainline}[2][]{\isastyle{}#1{}#2}
|
|
|
4 |
% wrapping text for INLINE mode
|
|
|
5 |
\newcommand{\isaescape}[1]{\mbox{#1}} % wrapping text for ESC mode
|
|
|
6 |
\newcommand{\isabegin}[1]{\isastyle{}#1\begin{tabbing} % begin of ISA mode
|
|
|
7 |
xxxxxxxx\=xxxxxxxx\=xxxxxxxx\=xxxxxxxx\=xxxxxxxx\=xxxxxxxx\=
|
|
|
8 |
xxxxxxxx\=xxxxxxxx\=xxxxxxxx\=xxxxxxxx\=xxxxxxxx\=xxxxxxxx\=
|
|
|
9 |
\kill}
|
|
|
10 |
\newcommand{\isaend}{\end{tabbing}} % end of ISA mode
|
|
|
11 |
|
|
|
12 |
\chardef\tttilde=`\~ % A tilde for \tt font
|
|
|
13 |
\chardef\ttbackslash=`\\ % A backslash for \tt font
|
|
|
14 |
%WRONG for \it: \chardef\ttlbrace=`\{ % A left brace for \tt font
|
|
|
15 |
%WRONG for \it: \chardef\ttrbrace=`\} % A right brace for \tt font
|
|
|
16 |
|