You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

20 lines
720 B

%** Copyright 2002 by Lukas Ruf,
%** Information is provided under the terms of the
%** GNU Free Documentation License
%** Fairness: Cite the source of information, visit
{\vspace{0.5 cm} \footnotesize \verbatim}%
{\endverbatim \normalsize \vspace{0.5 cm}}
{\vspace{0.5 cm} \footnotesize \verbatiminput{#1}}%
{\normalsize \vspace{0.5 cm}}
{\footnotesize \verbatiminput{#1}}%