/*% cat %
This directory contains the Qed tutorial written by Rob Pike.

DIRECTORIES:

FILES:

tutorial - [tn]roff input for tutorial

PATHNAME repl change lines:
