\begingroup \catcode`\#=12 \gdef\versiontag/{#6.4}% \gdef\versiondate/{Sun Jul 1 21:38:27 PDT 1990}% \endgroup \typeout{Version \versiontag/ of \versiondate/}