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