Mentions the possibility of pathnames in ISABELLECOMP;
\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