\catcode`\#=12 \def\versiontag/{#1.36}% \def\versiondate/{Tue Nov 12 10:50:55 PST 1985}% \catcode`\#=6 \typeout{Version \versiontag/ of \versiondate/}