\catcode`\#=12
\def\versiontag/{#1.11}%
\def\versiondate/{Tue Nov 12 01:03:09 PST 1985}%
\catcode`\#=6
\typeout{Version \versiontag/ of \versiondate/}