A version of alltt (an old version from LaTeX 2.09, now obsolete), patched to apply a left margin (of the user’s choice) to the verbatim text.
A similar patch could be created for current alltt, but it seems that no-one has felt the need.
The authors are Mario Wolczko and Leslie Lamport.
License: noinfo Version dated: 1993-04-02 Catalogued: 2014-02-26