equal
deleted
inserted
replaced
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 |
|