view papers/tutorial/version.tex @ 17:76d91e545ea8 default tip

addrsbr and dtimep fix
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Mon, 24 Nov 2014 14:49:25 +0900
parents bce86c4163a3
children
line wrap: on
line source

\catcode`\#=12
\def\versiontag/{#2.8}%
\def\versiondate/{Wed May 21 21:04:08 PDT 1986}%
\catcode`\#=6
\tell{Version \versiontag/ of \versiondate/}