%% %% This is file `answers.drv', generated %% on <1994/7/28> with the docstrip utility (2.2h). %% %% The original source files were: %% %% answers.dtx (with options: `driver') \documentclass{ltxdoc} \RecordChanges \begin{document} \DocInput{answers.dtx} \PrintIndex \PrintChanges \end{document} \endinput %% %% End of file `answers.drv'.