src/Tools/8bit/latex/Set2a.tex

Mentions the possibility of pathnames in ISABELLECOMP;

\documentstyle[11pt,a4,latexsym,amssymb,isa2latex]{article}
\begin{document}
{\isamode
\begin{tabbing}
xxxxxxxx\=xxxxxxxx\=xxxxxxxx\=xxxxxxxx\=xxxxxxxx\=xxxxxxxx\=xxxxxxxx\=xxxxxxxx\=xxxxxxxx\=xxxxxxxx\=xxxxxxxx\=xxxxxxxx\=\kill{}\hspace{-1ex}

\end{tabbing}}
\end{document}