\catcode`\#=12
\def\versiontag/{#1.1}%
\def\versiondate/{Wed Feb 19 11:59:56 PST 1986}%
\catcode`\#=6
\typeout{Version \versiontag/ of \versiondate/}
