# HG changeset patch
# User oheimb
# Date 878741247 -3600
# Node ID 93448766eb5a1d05200f854ecbb141c181aad6cb
# Parent  6b8bbcc9f05f058b812c4a2c8f8508f42df51280
reflecting changes of isa2latex

diff -r 6b8bbcc9f05f -r 93448766eb5a src/Tools/8bit/latex/isa2latex.sty
--- a/src/Tools/8bit/latex/isa2latex.sty	Wed Nov 05 15:45:51 1997 +0100
+++ b/src/Tools/8bit/latex/isa2latex.sty	Wed Nov 05 15:47:27 1997 +0100
@@ -1,4 +1,16 @@
-\newcommand{\isastyle}{\tt}			% to set isa font etc.
-\newcommand{\isainline}[1]{{\isastyle #1}}	% wrapping text in INLINE mode
-\newcommand{\isamode}{\noindent\isastyle}	% at the beginning of ISA mode
-\newcommand{\isaescape}[1]{\mbox{$#1$}}		% wrapping text in ESC mode
+\newcommand{\isastyle}{\tt}			% to set    isa font etc.
+\newcommand{\isamodify}{\it}			% to modify isa font etc.
+\newcommand{\isainline}[2][]{\isastyle{}#1{}#2}
+						% wrapping text for INLINE mode
+\newcommand{\isaescape}[1]{\mbox{#1}}		% wrapping text for ESC mode
+\newcommand{\isabegin}[1]{\isastyle{}#1\begin{tabbing}	% begin of ISA mode
+xxxxxxxx\=xxxxxxxx\=xxxxxxxx\=xxxxxxxx\=xxxxxxxx\=xxxxxxxx\=
+xxxxxxxx\=xxxxxxxx\=xxxxxxxx\=xxxxxxxx\=xxxxxxxx\=xxxxxxxx\=
+\kill}
+\newcommand{\isaend}{\end{tabbing}}		% end of ISA mode
+
+\chardef\tttilde=`\~     % A tilde for \tt font
+\chardef\ttbackslash=`\\ % A backslash for \tt font
+%WRONG for \it: \chardef\ttlbrace=`\{    % A left brace for \tt font
+%WRONG for \it: \chardef\ttrbrace=`\}    % A right brace for \tt font
+