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